Verification of Design of Memory Management Module for Embedded System Based on Coq
In: IEEE 11th International Conference on Software Engineering and Service Science (ICSESS); (2020-10-16) S. 44-47
Konferenz
Zugriff:
Titel: |
Verification of Design of Memory Management Module for Embedded System Based on Coq
|
---|---|
Autor/in / Beteiligte Person: | Shaofeng, Li ; Lei, Qiao ; Mengfei, Yang |
Quelle: | IEEE 11th International Conference on Software Engineering and Service Science (ICSESS); (2020-10-16) S. 44-47 |
Veröffentlichung: | 2020 |
Medientyp: | Konferenz |
ISBN: | 978-1-7281-6578-3 (print) ; 978-1-7281-6577-6 (print) ; 978-1-7281-6579-0 (print) |
ISSN: | 2327-0594 (print) |
DOI: | 10.1109/ICSESS49938.2020.9237731 |
Sonstiges: |
|