Spécification des Systèmes
Partie1
: Spécification semi-formelle (UML, OCL)
Partie 2 : Spécification formelle (Réseaux de
Petri
)
BACK