ABZ 2014: The Landing Gear Case Study / Communications in Computer and Information Science Bd.433 (PDF)
Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings
(Sprache: Englisch)
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.
The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different...
The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „ABZ 2014: The Landing Gear Case Study / Communications in Computer and Information Science Bd.433 (PDF)“
This volume contains proceedings of the Case Study Track, held at the 4th International Conference, ABZ 2014, in Toulouse, France, in June 2014.
The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
The 11 papers presented were carefully reviewed and selected from numerous submissions. They use different formal techniques: B, ASM, Fiacre. They also propose different kinds of verification such as proof, model checking, test generation, run-time monitoring, and simulation.
Bibliographische Angaben
- 2014, 2014, 161 Seiten, Englisch
- Herausgegeben: Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319075128
- ISBN-13: 9783319075129
- Erscheinungsdatum: 12.05.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 7.09 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "ABZ 2014: The Landing Gear Case Study / Communications in Computer and Information Science Bd.433"
Schreiben Sie einen Kommentar zu "ABZ 2014: The Landing Gear Case Study / Communications in Computer and Information Science Bd.433".
Kommentar verfassen