Login / Signup

A variability modeling and transformation approach for safety-critical systems.

Lucas BressanAndré Luíz de OliveiraFernanda CamposRafael 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