Vai al contenuto principale della pagina

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018
Edizione: 1st ed. 2018.
Descrizione fisica: 1 online resource (XIV, 432 p. 83 illus.)
Disciplina: 006.31
Soggetto topico: Machine theory
Algorithms
Computer science
Compilers (Computer programs)
Artificial intelligence
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
Compilers and Interpreters
Artificial Intelligence
Persona (resp. second.): ButlerMichael <1967->
RaschkeAlexander
HoangThai Son
ReichlKlaus
Nota di bibliografia: Includes bibliographical references and index.
Nota di contenuto: Invited Talks -- Translation and Transformation -- Analysis and Tests -- Reals and Hybrid Systems -- Refinement -- Hybrid ERTMS Case Study -- Short Papers.
Sommario/riassunto: This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
Titolo autorizzato: Abstract State Machines, Alloy, B, TLA, VDM, and Z  Visualizza cluster
ISBN: 3-319-91271-2
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910349429803321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Theoretical Computer Science and General Issues, . 2512-2029 ; ; 10817