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
_version_ 1780879108986634240
author Quirk, W J
Gilbert, R P
author_facet Quirk, W J
Gilbert, R P
author_sort Quirk, W J
collection CERN
id cern-118494
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 1977
publisher United Kingdom. At. Energy Res. Establ. Comp. Sci. Syst. Div.
record_format invenio
spelling cern-1184942019-09-30T06:29:59Zhttp://cds.cern.ch/record/118494engQuirk, W JGilbert, R PThe formal specification of the requirements of complex real-time systemsHealth Physics and Radiation EffectsUnited Kingdom. At. Energy Res. Establ. Comp. Sci. Syst. Div.AERE-R-8602oai:cds.cern.ch:1184941977
spellingShingle Health Physics and Radiation Effects
Quirk, W J
Gilbert, R P
The formal specification of the requirements of complex real-time systems
title The formal specification of the requirements of complex real-time systems
title_full The formal specification of the requirements of complex real-time systems
title_fullStr The formal specification of the requirements of complex real-time systems
title_full_unstemmed The formal specification of the requirements of complex real-time systems
title_short The formal specification of the requirements of complex real-time systems
title_sort formal specification of the requirements of complex real-time systems
topic Health Physics and Radiation Effects
url http://cds.cern.ch/record/118494
work_keys_str_mv AT quirkwj theformalspecificationoftherequirementsofcomplexrealtimesystems
AT gilbertrp theformalspecificationoftherequirementsofcomplexrealtimesystems
AT quirkwj formalspecificationoftherequirementsofcomplexrealtimesystems
AT gilbertrp formalspecificationoftherequirementsofcomplexrealtimesystems