Cargando…
Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
Autores principales: | Colombo, Christian, Leucker, Martin |
---|---|
Lenguaje: | eng |
Publicado: |
Springer International Publishing AG
2018
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/2764269 |
Ejemplares similares
-
Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
por: Margaria, Tiziana, et al.
Publicado: (2018) -
Leveraging applications of formal methods, verification and validation modeling: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part I
por: Margaria, Tiziana, et al.
Publicado: (2018) -
Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
por: Margaria, Tiziana, et al.
Publicado: (2018) -
Leveraging applications of formal methods, verification and validation industrial practice: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part IV
por: Margaria, Tiziana, et al.
Publicado: (2018) -
Information systems: 15th European, Mediterranean, and Middle Eastern conference, EMCIS 2018, Limassol, Cyprus, October 4-5, 2018, proceedings
por: Themistocleous, Marinos, et al.
Publicado: (2019)