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