Login / Signup
Using Coordinated Atomic Actions to Design Safety-Critical Systems: a Production Cell Case Study.
Avelino F. Zorzo
Alexander B. Romanovsky
Jie Xu
Brian Randell
Robert J. Stroud
Ian Welch
Published in:
Softw. Pract. Exp. (1999)
Keyphrases
</>
safety critical
case study
embedded systems
formal methods
fault tolerant
safety analysis
low cost
support systems
design process
agent architecture
regulatory requirements
multi agent
knowledge based systems
intelligent systems