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

  • Le 4 mars, participez au Webinaire sur le DATALAB pour découvrir comment cette approche progressive peut vous aider… https://t.co/zJmrfNB84I
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…