AMBOSS: A Task Modeling Approach for Safety-Critical Systems.

Matthias Giese Tomasz Mistrzyk Andreas Pfau Gerd Szwillus Michael von Detten

Published in: TAMODIA/HCSE (2008)

Keyphrases

safety critical
formal methods
fault tolerant
embedded systems
safety analysis
nuclear power plant
support systems
agent architecture
adaptive systems
information systems
decision making
cooperative
recommender systems
intelligent systems
learning systems