Login / Signup
An Object-Oriented Approach for Modeling and Analysis of Safety-Critical Real-time Systems.
Jyhjong Lin
David Chenho Kung
Pei Hsia
Published in:
Informatica (Slovenia) (1995)
Keyphrases
</>
real time systems
safety critical
embedded systems
safety analysis
fault tolerant
nuclear power plant
artificial intelligence