Formal methods for industrial critical systems: 23rd international conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, proceedings

Detalles Bibliográficos
Autores principales: Howar, Falk, Barnat, Jiří
Lenguaje:eng
Publicado: Springer International Publishing AG 2018
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2757474
Descripción
Descripción no disponible.

Ejemplares similares