Publications of
Janette Cardoso, Xiaoyu Mao, Robert Valette
State Class Graph for Fuzzy Time Petri Nets
In : European Simulation and Modelling Conference (ESM 2006), Toulouse, 23/10/06-25/10/06, LAAS, (electronic medium), October 2006.
Janette Cardoso, Xiaoyu Mao, Robert Valette
A Graph of Classes Preserving Quantitative Temporal Constrains considering unbounded transitions
In : PMCCS’05, 7th International Workshop onPerformability Modeling of Computer and Communication Systems, Torino-Italy, 23/09/05-24/09/05, ., September 2005.
Xiaoyu Mao, Janette Cardoso, Robert Valette
A new graph of classesfor the preservation of quantitative temporal constraints
In : ATVA’05,Third International Symposium on Automated Technology for Verification and Analysis, Taipei-Taiwan, 04/10/05-07/10/05, D.A. Peled, Y.-K. Tsay (Eds.), Springer Verlag, LNCS 3707, Berlin Heidelberg, pp. 278-292, October 2005.
Janette Cardoso, Robert Valette, Xiaoyu Mao
Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives
In : RS-JESA, MSR – Modelisation de Systèmes Réactifs, grenoble, 05/10/05-07/10/05, Hermès, V.39, pp. 191-206, October 2005.