Login / Signup
A variability modeling and transformation approach for safety-critical systems.
Lucas Bressan
André Luíz de Oliveira
Fernanda Campos
Rafael Capilla
Published in:
VaMoS (2021)
Keyphrases
</>
safety critical
fault tolerant
safety analysis
formal methods
nuclear power plant
embedded systems
information systems
low cost
intelligent systems
agent architecture
support systems