Log In
Recherche
Jérôme Hugues
20 févr. 2016
...
C.6.3
Livres
. .....
TINA
(Réseaux de
Petri
temporisés), Bound-T (analyse de WCET) ou Cheddar et MAST (ana- lyse d'ordonnancement).
Un extrait du document
Autres livres:
Une approche basée transformation de graphes pour la génération
Réseaux de Petri temporels - Laas
Time Petri Nets Analysis with TINA - Laas
L'outil TINA - Laas
Le feu de la toute petite lanterne
Raphaelle Bacqué - Préface du livre Vertigo 2012 - Tina Merandon
Patrick Couratin, une bibliographie sélective - La joie par les livres
aplat - L'Harmattan
La Bible artisanale (Tina Decker) - aeefrance.org
Dion Cassius, Histoire romaine, Livre LXVI
Tina - ALTER ECO SANTE
Tina Modotti - livre de Ángel de la Calle - Critique ... - Vertige Graphic
Top Livres
||
De A a Z
||
De Z a A
20 févr. 2016 ... C.6.3 Livres . ..... TINA (Réseaux de Petri temporisés), Bound-T (analyse de
WCET) ou Cheddar et MAST (ana- lyse d'ordonnancement). 
