Documentation
Français (FR)

Anglais (EN)

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

943055

	Verifying MARTE/CCSL Mode Behaviors Using UPPAAL Jagadish Suryadevara , Cristina Seceleanu , Frédéric Mallet , Paul Pettersson SEFM 2013 - 11th International Conference on Software Engineering and Formal Methods, Sep 2013, Madrid, Spain. pp.1-15, ⟨10.1007/978-3-642-40561-7_1⟩ Communication dans un congrès hal-00866477v1
	Analysis Support for TADL2 Timing Constraints on EAST-ADL Models Arda Goknil , Jagadish Suryadevara , Marie-Agnès Peraldi-Frati , Frédéric Mallet ECSA 2013 - 7th European Conference on Software Architecture, Jul 2013, Montpellier, France. pp.89-105, ⟨10.1007/978-3-642-39031-9_8⟩ Communication dans un congrès hal-00839963v1