Visualizing Change in Agile Safety-Critical Systems.

Jane Cleland-Huang Ankit Agrawal Michael Vierhauser Christoph Mayr-Dorn

Published in: IEEE Softw. (2021)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
nuclear power plant
support systems
management system
expert systems
decision support
intelligent systems
reinforcement learning
multi agent
agent architecture
adaptive systems
regulatory requirements