Titel |
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers |
|---|---|
Beteiligt |
Cyrille Artho (Herausgeber) |
Erschienen |
Cham: Springer International Publishing |
Ausgabe |
1st edition 2017 |
Umfang |
Online-Ressourcen |
ISBN |
978-3-319-53946-1 |
Land |
|
Themengebiet |
|
Thema |
Applications |
Reihe |
Communications in Computer and Information Science |
Persistent Identifier |
urn:nbn:de:1111-201702162280 (URN) |
Weitere Angaben |
Lizenzpflichtig |
Datensatz-ID |
1125628588 |
Hinweis
Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden Link: