Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
ABZ 2014: The Landing Gear Case Study
CHF 60.75
Auf Lager
SKU
C1QFD4CEVH3
1 Verfügbar 
Geliefert zwischen Do., 26.02.2026 und Fr., 27.02.2026
Details
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.
Inhalt
Formal techniques: B, ASM, Fiacre.- Kinds of verification.- Proof.- Model checking.- Test generation.- Run-time monitoring.- Simulation.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319075112
- Editor Frederic Boniol, Klaus-Dieter Schewe, Yamine Ait Ameur, Virginie Wiels
- Sprache Englisch
- Auflage 2014
- Größe H235mm x B155mm x T10mm
- Jahr 2014
- EAN 9783319075112
- Format Kartonierter Einband
- ISBN 331907511X
- Veröffentlichung 26.05.2014
- Titel ABZ 2014: The Landing Gear Case Study
- Untertitel 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
- Gewicht 277g
- Herausgeber Springer International Publishing
- Anzahl Seiten 176
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
