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

  • Montréal Relève RT @MTLReleve: Belle nouvelle en ce début d'année : 2 400 inscriptions au programme #ClassesAffaires pour l'édition 2019 ! #Relève #Stages…
  • #JournéeTechno autour du #5G le 29 janvier Survol de la 5G : Opportunités d’ #affaires et défis #technologiques. Un… https://t.co/xQjP34rQYS