Mechanization of a Large DSML: An Experiment with AADL and Coq
In: 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE); (2022-10-13) S. 1-9
Konferenz
Zugriff:
Titel: |
Mechanization of a Large DSML: An Experiment with AADL and Coq
|
---|---|
Autor/in / Beteiligte Person: | Hugues, Jerome ; Wrage, Lutz ; Hatcliff, John ; Stewart, Danielle |
Quelle: | 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE); (2022-10-13) S. 1-9 |
Veröffentlichung: | 2022 |
Medientyp: | Konferenz |
ISBN: | 979-8-3503-3190-5 (print) |
ISSN: | 2832-6520 (print) |
DOI: | 10.1109/MEMOCODE57689.2022.9954589 |
Sonstiges: |
|