EPFL

Formal semantics for refinement verification of entreprise models

Rychkova, Irina ; Wegmann, Alain (Dir.)

Thèse Ecole polytechnique fédérale de Lausanne EPFL : 2008 ; no 4210.

EPFL

A systemic paradigm for early IT system requirements based on regulation principles

Regev, Gil ; Wegmann, Alain (Dir.)

Thèse sciences Ecole polytechnique fédérale de Lausanne EPFL : 2003 ; no 2810.