Sign in

Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.

Stefano MarroneCamilla PapaValeria Vittorini
Published in: IFM (2010)
Keyphrases
  • expert systems
  • object oriented
  • quantitative analysis
  • information systems
  • learning systems
  • search algorithm
  • management system
  • complex systems
  • data acquisition