中国综合性科技类核心期刊(北大核心)
中国科学引文数据库来源期刊(CSCD)
美国《化学文摘》(CA)收录
美国《数学评论》(MR)收录
俄罗斯《文摘杂志》收录
导航切换
Home
About Journal
About Journal
Awards
Editorial Board
Editorial Team
Submit Review
Guide for Authors
Online Submission
Editor Work
Peer Review
Editor-in-chief
Office Work
Reader Center
Current Issue
Topics
Top Cited
Top Read
Top Downloaded
Volumn Content
Subject Content
Archive
Subscribe
E-mail Alert
Download
Contacts Us
Office Work
中文
A formal verification method for embedded operating systems
Yang WANG, Jingcheng FANG, Xiong CAI, Zhipeng ZHANG, Yong CAI, Weikai MIAO
Journal of East China Normal University(Natural Science) . 2024, (
4
): 1 -17 . DOI: 10.3969/j.issn.1000-5641.2024.04.001
中国综合性科技类核心期刊(北大核心)