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

  • Le CRIM est fier d'être partenaire et de participer à la 3e édition de la conférence Intelligence d'affaires et ana… https://t.co/YZ3xoPoNPt
  • #Demain Pas un, mais DEUX de nos experts participeront à la Journée de la #géomatique à l'@USherbrooke ! J-François… https://t.co/NNrYYIsvjy