Formalization and Refinement Proof for Embedded Systems
In: 4th International Symposium on Informatics and its Applications (ISIA); (2020-12-15) S. 1-6
Online
Konferenz
Zugriff:
Titel: |
Formalization and Refinement Proof for Embedded Systems
|
---|---|
Autor/in / Beteiligte Person: | Bezza, Asma ; Merah, Elkamel ; Ameur-Boulifa, Rabea ; Benaboud, Rohallah ; Messaoud Maarouk, Toufik |
Link: | |
Quelle: | 4th International Symposium on Informatics and its Applications (ISIA); (2020-12-15) S. 1-6 |
Veröffentlichung: | 2020 |
Medientyp: | Konferenz |
ISBN: | 978-1-7281-9652-7 (print) |
DOI: | 10.1109/ISIA51297.2020.9416544 |
Sonstiges: |
|