A Safety-critical Real-time Network Protocol.

Zhanjie Wang Hailong Wang Kai He Dexin Sun Xiaobin Chen

Published in: GrC (2008)

Keyphrases

safety critical
real time
fault tolerant
agent architecture
safety analysis
formal methods
nuclear power plant
embedded systems
support systems
adaptive systems
regulatory requirements
control system
knowledge based systems
learning systems
intelligent agents