ICTAC 2018

ICTAC 2018
19/10/18 0h00
Stellenbosch, Afrique du Sud

Omer Nguena Timo, Ph. D., chercheur dans l'équipe Modélisation et développement logiciel avancé du CRIM, présentera un article à la 15ième édition de "International Colloquium on Theoretical Aspects of Computing" (ICTAC) 2018.

"Checking Sequence Generation for Symbolic Input/Output FSM by Sonstraint Solving" Nguena-Timo, A., Petrenko, A., Ramesh, S.

Information

  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4