TAP 2019

TAP 2019
11/10/19 0h00
Porto, Portugal

Alexandre Petrenko, chercheur principal en modélisation et développement logiciel, présentera l'article scientifique « Learning Communicating State Machines » (Alexandre Petrenko and Florent Avellaneda) à la conférence TAP 2019 (13th International Conference on Tests and Proofs) qui se déroulera du 9 au 11 octobre 2019 à Porto au Portugal.

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