Requirements Communication in Safety-Critical Systems.

Jéssyka Vilela Jaelson Castro Luiz Eduardo Galvão Martins Tony Gorschek Camilo C. Almendra

Published in: WER (2019)

Keyphrases

safety critical
formal methods
regulatory requirements
nuclear power plant
fault tolerant
embedded systems
agent architecture
expert systems
management system
safety analysis
distributed systems
intelligent systems
real time
decision making
learning systems
adaptive systems