IFIP-ICTSS 2019

IFIP-ICTSS 2019
17/10/19 0h00
Paris, France

Omer Nguena Timo, chercheur au CRIM, ira présenter l’article Multiple Mutation Testing for Timed Finite State Machine With Timed Guards and Timeouts [Omer Nguena Timo, Dimitri Prestat and Antoine Rollet] à la 31st IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS. À Paris, du 15 au 17 octobre 2019.

Information

 

Événement à venir

  • Séminaire R-D : Fault detection in timed FSM with timeouts by sat-solving
    24/10/19 11h00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence de Omer Nguena Timo, chercheur en modélisation, test et vérification logiciel, CRIM.
    +
  • ???? Le CRIM est en mode recrutement #talents 2 nouveaux profils de stagiaires recherchés : - Science des données - Sy… https://t.co/JxKxg7ZwKw
  • ???? Séminaire R-D : Détection des défauts dans les FSM temporisés par résolution de contraintes SAT (présentation en… https://t.co/VIDB9R4u4u