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

  • FRQNT RT @FRQ_NT: Grâce à l'expertise du @CRIM_ca, @Mobi724 se lance dans le prédictif! #BigData #algorithmes #FinTech #techno @InvestQuebec @Ca…
  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk