Abz 2014: the landing gear case study :
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 Frédéric Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
- xii, 161 páginas : 47 ilustraciones
- Communications in Computer and Information Science, 433 1865-0929 ; .
Springer eBooks
Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
9783319075129
QA76.9.L63
Springer eBooks
Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
9783319075129
QA76.9.L63