Validation of Safety Critical Collaboration Systems (VSC) at WETICE 2019: Track Report.

Emiliano Tramontana Andrea Calvagna Andrea Fornaia

Published in: WETICE (2019)

Keyphrases

safety critical
formal methods
fault tolerant
nuclear power plant
safety analysis
embedded systems
management system
agent architecture
open source
medical images
support systems
adaptive systems
data mining
intelligent systems
regulatory requirements