Login / Signup
Formalization and assessment of regulatory requirements for safety-critical software.
Sergiy A. Vilkomir
Jonathan P. Bowen
Aditya K. Ghose
Published in:
Innov. Syst. Softw. Eng. (2006)
Keyphrases
</>
safety critical
regulatory requirements
formal methods
embedded systems
fault tolerant
agent architecture
support systems
adaptive systems
software systems
real time
low cost
software development
data mining
databases
sql server
database
decision making
formal specification