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.
Tipo de material:
TextoSeries Communications in Computer and Information Science ; 433Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xii, 161 páginas : 47 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319075129
- QA76.9.L63
Contenidos:
Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
No hay ítems correspondientes a este registro
Springer eBooks
Formal techniques: B, ASM, Fiacre -- Kinds of verification -- Proof -- Model checking -- Test generation -- Run-time monitoring -- Simulation.
Para consulta fuera de la UANL se requiere clave de acceso remoto.