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 ... in Computer and Information Science, 433). Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 2014
- Brossura
- Nuovo
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Venditore con 5 stelle
Venditore AbeBooks dal 25 marzo 2015
Non disponibile
Brossura
Condizione: Nuovo
EUR 69,14
Descrizione dell’articolo da parte del venditore
In English.
Codice articolo ria9783319075112_new
- 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 ... in Computer and Information Science, 433)
- Editore
- Springer
- Anno di pubblicazione
- 2014
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 331907511X
- ISBN 13
- 9783319075112
- Peso dell'articolo
- 377 grammi
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.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Contenuti
Formal techniques: B, ASM, Fiacre.- Kinds of verification.- Proof.- Model checking.- Test generation.- Run-time monitoring.- Simulation.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.
Risultati della ricerca per 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 ... in Computer and Information Science, 433)
Ci sono altre 7 copie di questo libroVisualizza tutti i risultati