Advances in Artefact Quality Analysis for Safety-Critical Systems.

Eugenio Parra Luis Alonso Roy Mendieta Jose Luis de la Vara

Published in: ISSRE Workshops (2019)

Keyphrases

safety critical
safety analysis
formal methods
embedded systems
fault tolerant
distributed systems
agent architecture
nuclear power plant
multi agent
sensor data
life cycle
support systems
health monitoring
regulatory requirements