Vai al contenuto principale della pagina

ABZ 2014: The Landing Gear Case Study : 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 / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: ABZ 2014: The Landing Gear Case Study : 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 / / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014
Edizione: 1st ed. 2014.
Descrizione fisica: 1 online resource (XII, 161 p. 47 illus.)
Disciplina: 005.1015113
Soggetto topico: Computer science
Machine theory
Computer simulation
Computer Science Logic and Foundations of Programming
Formal Languages and Automata Theory
Theory of Computation
Computer Modelling
Persona (resp. second.): BoniolFrederic
WielsVirginie
Aït-AmeurYamine
ScheweKlaus-Dieter
Note generali: Bibliographic Level Mode of Issuance: Monograph
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
Sommario/riassunto: 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.
Titolo autorizzato: ABZ 2014: The Landing Gear Case Study  Visualizza cluster
ISBN: 3-319-07512-8
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910298563803321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Communications in Computer and Information Science, . 1865-0937 ; ; 433
Rules and Reasoning [[electronic resource] ] : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings / / edited by Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman
Model-Based Safety and Assessment [[electronic resource] ] : 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings / / edited by Marc Zeller, Kai Höfig
Logics of Programs and Their Applications [[electronic resource] ] : Proceedings, Poznan, August 23-29, 1980 / / edited by A. Salwicki
Third International Conference on Logic Programming [[electronic resource] ] : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings / / edited by Ehud Shapiro
Semantics of Concurrent Computation [[electronic resource] ] : Proceedings of the International Symposium Evian, France, July 2-4, 1979 / / edited by G. Kahn