ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Frederic Mallet

Registered user since Mon 11 Feb 2019

Name:Frederic Mallet
Bio:

Frederic Mallet is a Professor of Computer Science at Université Côte d’Azur. He is a permanent member of the Kairos team, a joint team between I3S (CNRS/UCA) and Inria Sophia Antipolis.

Country:France
Affiliation:Université Côte d'Azur, France
Research interests:Time Model; Safety-Critical Systems; Model-Driven Engineering; Autonomous Vehicles

Contributions

FASE 2019 SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language
Show activities from other conferences

ETAPS 2019-profile
View general profile