Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
2
Documents
Affiliations actuelles
- 451999
- 13009
- 478607
- 1039632
Identifiants chercheurs
frederic-mallet- ResearcherId : H-3942-2011
-
0000-0002-9088-9821
- IdRef : 060764325
- ResearcherId : http://www.researcherid.com/rid/H-3942-2011
Publications
- 2
- 1
- 2
|
|
Lazy Parallel Synchronous Composition of In finite Transition SystemsInternational Conference on ICT in Education, Research and Industrial Applications, Jun 2013, Kherson, Ukraine. pp.130-145
Communication dans un congrès
hal-00839978v1
|
|
|
State-based representation of CCSL operators[Research Report] RR-8334, INRIA. 2013
Rapport
hal-00846684v4
|