面向安全关键内存管理系统分层验证方法 / Verification Method of Hierarchical for Safety-critical Memory Management Systems
- Resource Type
- Academic Journal
- Source
- 软件学报 / Journal of Software. 33(6):2312-2330
- Subject
程序设计 内存管理 形式化验证 精化验证 嵌入式系统 - Language
- Chinese
- ISSN
- 1000-9825