Login / Signup
Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions.
Jie Xu
Brian Randell
Alexander B. Romanovsky
Robert J. Stroud
Avelino F. Zorzo
Ercument Canver
Friedrich W. von Henke
Published in:
FTCS (1999)
Keyphrases
</>
safety critical
fault tolerant
support systems
embedded systems
agent architecture
formal methods
software engineering
knowledge based systems
real time
reinforcement learning
cooperative
spatio temporal
low cost
intelligent agents