Login / Signup
Safety Verification Utilizing Model-based Development for Safety Critical Cyber-Physical Systems.
Tasuku Ishigooka
Habib Saissi
Thorsten Piper
Stefan Winter
Neeraj Suri
Published in:
J. Inf. Process. (2017)
Keyphrases
</>
safety critical
formal methods
safety analysis
embedded systems
fault tolerant
nuclear power plant
support systems
cyber physical systems
agent architecture
model checking
artificial intelligence
low cost
knowledge based systems
software engineering
decision support system
adaptive systems
cooperative