Login / Signup
UML-based safety analysis of distributed automation systems.
Sebastian Schreiber
Till Schmidberger
Alexander Fay
Jörg May
Jörn Drewes
Eckehard Schnieder
Published in:
ETFA (2007)
Keyphrases
</>
safety analysis
nuclear power plant
safety critical
distributed systems
information systems
fault tolerant
real time
cooperative
software engineering
artificial intelligence
symbolic model checking
metamodel
control system
multi agent
mobile agents
software systems
peer to peer
object oriented