Multiformalism and Transformation Inheritance for Dependability Analysis of Critical Systems.

Stefano Marrone, Camilla Papa, Valeria Vittorini

Browse the full IFM paper archive.