Cargando…

The formal specification of the requirements of complex real-time systems

Detalles Bibliográficos
Autores principales: Quirk, W J, Gilbert, R P
Lenguaje:eng
Publicado: United Kingdom. At. Energy Res. Establ. Comp. Sci. Syst. Div. 1977
Materias:
Acceso en línea:http://cds.cern.ch/record/118494