Étude de graphes d'événements temporisés avec multiplieurs ... - Laris

Ingrédients. M : Mod`ele (formel) du comportement (issu de Rdp, Automates, Alg. Proc,..) ? : Mod`ele (formel) des propriétés (formalisme dédié). MC : Algorithme ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A