Holistic Evaluation of Real-Time Safety-Critical Large-Scale Networks.

Tuncay Bayrak Martha Grabowski

Published in: AMCIS (2003)

Keyphrases

safety critical
real time
formal methods
safety analysis
fault tolerant
agent architecture
embedded systems
nuclear power plant
low cost
adaptive systems
support systems
control system
multi agent
open source
learning systems
model checking
object oriented