F. Mallet, Charles André and Marie-Agnès Peraldi-Frati.
From UML to Petri Nets for non functional Property Verification.DOI Int. Symp. on Industrial Embedded Systems (SIES), pp. 1-9, IEEE, Oct. 2006.
Other / Autre
Charles André, Arnaud Cuccuru, Robert de Simone, Thiery Gautier, F. Mallet and Jean-Pierre Talpin.
Modeling with logical time in UML for real-time embedded system design.Int. Work. on Modeling and Analysis of Real-Time and Embedded Systems (MARTES'06), pp. 27-40, Oct. 2006.
Charles André, F. Mallet and Marie-Agnès Peraldi-Frati.
Non-functional property analysis using UML2.0 and model transformations.
Research Report, RR-5913, 18 pages, INRIA, 2006.