Journal

Generalizing the DS-Methods for Testing Non-Deterministic FSMs

Petrenko, A. and Simao, A. "Generalizing the DS-Methods for Testing Non-Deterministic FSMs" The Computer Journal, 58 (7) 2015 : 1656-1672

  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4
  • Nous sommes fiers de faire partie d'une sphère humaine réunissant tous les acteurs motivés à bâtir un monde meilleu… https://t.co/4HQoiDQE7z