Conference , Workshops Proceedings

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

Nguena Timo, O., Petrenko, A. et Ramesh, S. "Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving " dans Proc. of the 15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), pp. 354-375. Stellenbosch, Afrique du Sud, 12 to 19 October 2018

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…