Conference , Workshops Proceedings

From Passive to Active FSM Inference via Checking Sequence Construction

Petrenko, A., Avellaneda, F., Groz, R. et Oriat, C. "From Passive to Active FSM Inference via Checking Sequence Construction" dans Proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2017), pp. 126-141 Volume 10533 part of the Lecture Notes in Computer Science book series. St. Petersburg, Russia, 9 to 11 October 2017

  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…
  • ???? Séminaire R-D du CRIM le 10 octobre - Réseaux de neurones profonds dans un contexte d'informatique en périphérie.… https://t.co/SirCEokiQN