Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.694 (PDF)
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
The 9 revised full papers presented together with an abstract of an...
The 9 revised full papers presented together with an abstract of an...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.694 (PDF)“
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
Bibliographische Angaben
- 2017, 1st ed. 2017, 161 Seiten, Englisch
- Herausgegeben: Cyrille Artho, Peter Csaba Ölveczky
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319539469
- ISBN-13: 9783319539461
- Erscheinungsdatum: 15.02.2017
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 7 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.694"
0 Gebrauchte Artikel zu „Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.694“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Techniques for Safety-Critical Systems / Communications in Computer and Information Science Bd.694".
Kommentar verfassen