Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.

Stefano Marrone Camilla Papa Valeria Vittorini

Published in: IFM (2010)

Keyphrases

expert systems
object oriented
quantitative analysis
information systems
learning systems
search algorithm
management system
complex systems
data acquisition