Sign in
Contract-Based Justification for COTS Component within Safety Critical Applications.
Fan Ye
Tim Kelly
Published in:
SCS (2004)
Keyphrases
</>
safety critical
software components
formal methods
fault tolerant
embedded systems
nuclear power plant
support systems
safety analysis
agent architecture
third party
regulatory requirements
adaptive systems
software development
multi agent
decision support system
medical images
web services
knowledge base