Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Gespeichert in:
Veröffentlicht in: | ACM transactions on embedded computing systems 2019-02, Vol.18 (1), p.1-2 |
---|---|
Format: | Artikel |
Sprache: | eng |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Zusammenfassung: | |
---|---|
ISSN: | 1539-9087 1558-3465 |
DOI: | 10.1145/3292422 |