Special section on real-time safety-critical systems.

Janusz Zalewski

Published in: Innov. Syst. Softw. Eng. (2009)

Keyphrases

safety critical
special section
real time
formal methods
embedded systems
safety analysis
fault tolerant
nuclear power plant
agent architecture
support systems
adaptive systems
regulatory requirements
multi agent
special issue
intelligent agents
learning systems
low cost
decision making
data mining