Cargando…

Formal methods for embedded distributed systems: how to master the complexity

Detalles Bibliográficos
Autores principales: Kordon, Fabrice, Lemoine, Michel
Lenguaje:eng
Publicado: Springer 1991
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2762480