Ihr Link zur Ex Libris-Reader-App
Geben Sie Ihre E-Mail-Adresse oder Handynummer ein und Sie erhalten einen direkten Link, um die kostenlose Reader-App herunterzuladen.
Die Ex Libris-Reader-App ist für iOS und Android erhältlich. Weitere Informationen zu unseren Apps finden Sie hier.
Formal Methods for Industrial Critical Systems
- Kartonierter Einband
- 213 Seiten
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS ...
Weiterlesen
Beschreibung
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Up-to-date results
Fast track conference proceedings
State-of-the-art report
Includes supplementary material: sn.pub/extras
Inhalt
Applications.- Protocols.- Specification and analysis.- Verification.
Produktinformationen
| Titel: | Formal Methods for Industrial Critical Systems |
| Untertitel: | 20th International Conference, FMICS 2015, Oslo, Norway, June 22-23, 2015, Proceedings |
| Editor: | |
| EAN: | 9783319194578 |
| ISBN: | 978-3-319-19457-8 |
| Format: | Kartonierter Einband |
| Herausgeber: | Springer, Berlin |
| Genre: | Informatik |
| Anzahl Seiten: | 213 |
| Gewicht: | 359g |
| Größe: | H12mm x B236mm x T157mm |
| Jahr: | 2015 |
| Untertitel: | Englisch |
| Auflage: | 2015 |
Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"
Sie sind hier.
Ihre erste Adresse für Bücher, Filme, Musik, Spiele und Games!