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_ca en action à #Connexion ! #numeriqueLA @la_lesaffaires #innovation #recherche #IA #PME… https://t.co/UvSAd0uZ17
  • L'#IA débarque en #agriculture! Le CRIM est fier d'être hôte de cet événement et de fournir son expertise en #IA et… https://t.co/RzxjuuSusa