Formal Methods for Industrial Critical Systems (FMICS)
Volltext online seit: | 2005 |
---|---|
Volltext online bis: | 2005 |
Fachgebiet: | |
Schlagwort: | |
Webseite: | |
Verlag: | Association for Computing Machinery (ACM) |
Erscheinungsweise: | Volltext, Online und Druckausgabe |
Kosten: | kostenpflichtig |
Anmerkung: | Proceedings of the ... International Workshop on Formal Methods for Industrial Critical Systems |
ZDB-Nummer: | 2683909-X |