Conference , Workshops Proceedings

Learning Communicating State Machines

Petrenko, A. et Avellaneda, F. "Learning Communicating State Machines" dans 13th International Conference on Tests and Proofs (TAP 2019). Porto, Portugal, 9 to 11 October 2019

  • Prompt RT @Prompt_Innov: [ WEXPERT ?La Ville intelligente Nos intervenants : Philippe Beaudoin, co-fondateur d’ @element_ai Stéphane Barbier, di…
  • CEIM RT @CEIM_Qc: Bonne nouvelle! Le gala de l' @ADRIQ_RCTi aura bien lieu, que ce soit en présentiel ou en virtuel! Ne passez pas à côté de cet…