|
Publications de Yuming Wang
Conférences Internationales
-
Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
Compilation and distribution of state machines using Spots. 16th IFIP World Computer Congress (WCC'2000), Août 2000.
-
Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
A semantics of UML state-machines using synchronous pre-order transition systems. International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2000), IEEE Press, Mars 2000. (postscript) (abstract)
-
Y. Wang.
Compilation of state-machines using Behavior Expression. Workshop PhDOOS2000 in 14th European Conference on Object-Oriented Programming, 2000.
Rapports de recherche
-
Y. Wang, J.P. Talpin, A. Benveniste, P. Le Guernic.
Pre-order semantics of UML state machines. Rapport de Recherche Irisa, No1336, Juin 2000. (postscript) (abstract)
Les documents contenus dans ces répertoires sont rendus disponibles par les
auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux
savants et techniques sur une base non-commerciale. Les droits de copie et
autres droits sont gardés par les auteurs et par les détenteurs du copyright,
en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique.
Les personnes copiant ces informations doivent adhérer aux termes et
contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent
pas être rendus disponibles ailleurs sans la permission explicite du détenteur
du copyright.
|
|