Login / Signup
Harmonisation of defence standards for safety-critical software.
William Marsh
Published in:
Microprocess. Microsystems (1997)
Keyphrases
</>
safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
nuclear power plant
support systems
information systems
web services
computational intelligence
adaptive systems
software intensive systems
free text
regulatory requirements