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

  • Direction informatique RT @DirectionInfo: Recherche : création d’un guichet d’accès aux données gouvernementales https://t.co/DWOTikcxDN #recherche #données #stat…
  • #Aujourdhui Nous vous attendons dès 16h30 pour l''Assemblée générale annuelle des membres du CRIM (début de l'assem… https://t.co/dReXjkoa4W