Frédéric Mallet
Professeur des Universités
Université Côte d'Azur
1
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
- 1
- 1
- 1
- 1
- 1
- 1
A clock-based dynamic logic for schedulability analysis of CCSL specificationsScience of Computer Programming, 2021, 202, pp.102546. ⟨10.1016/j.scico.2020.102546⟩
Article dans une revue
hal-03135429v1
|