C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Test-Driven Approach for Safety-Critical Software Development.
Onur Özçelik
D. Turgay Altilar
Published in:
J. Softw. (2015)
Keyphrases
</>
safety critical
software development
formal methods
safety analysis
nuclear power plant
embedded systems
software engineering
agent architecture
fault tolerant
regulatory requirements
cooperative
software architecture
development process
software systems
peer to peer
multi agent systems
decision making