Model-based Analysis Support for Dependable Complex Systems in CHESS.

Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta

Browse the full MODELSWARD paper archive.