M. Lemoine;D. Marre;P. Thuillier;J.-L. Wippler
-;-;-;-
From UML to Z
Formal methods for embedded distributed systems