An Example of a Hierarchical System Model Using SEAM and its Formalization in Alloy.

Alain Wegmann, Lam-Son L, Irina Rychkova, Gil Regev

Browse the full EDOC paper archive.