基于Coq的操作系统任务管理需求层建模及验证
In: 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2375
academicJournal
Zugriff:
Titel: |
基于Coq的操作系统任务管理需求层建模及验证
|
---|---|
Autor/in / Beteiligte Person: | 姜菁菁;乔磊;杨孟飞;杨桦;刘波 |
Link: | |
Zeitschrift: | 软件学报 / Journal of Software, Jg. 31 (2020), Heft 8, S. 2375 |
Veröffentlichung: | 2020 |
Medientyp: | academicJournal |
ISSN: | 1000-9825 (print) |
Sonstiges: |
|