Special issue on MEMOCODE 2017

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: International Conference on Formal Methods and Models for System Design (VerfasserIn), Association for Computing Machinery (VeranstalterIn), Institute of Electrical and Electronics Engineers (VeranstalterIn)
Weitere Verfasser: Derler, Patricia (HerausgeberIn), Schneider, Klaus (HerausgeberIn), Talpin, Jean-Pierre (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: New York Association for Computing Machinery 2019
Schriftenreihe:ACM transactions on embedded computing systems volume 18, number 1 (2019)
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Vorwort: Selected papers of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Beschreibung:Circa 200 Seiten in getrennter Zählung
Illustrationen, Diagramme