Journal

Toward testing from finite state machines with symbolic inputs and outputs

Petrenko, A. "Toward testing from finite state machines with symbolic inputs and outputs" Springer Software and Systems Modeling (August 2017), 17 (1) 2017 : 1-11

  • DirectionInfo RT @DirectionInfo: Sommet des dirigeants TI : Element AI et Thirdshelf clarifient l’IA [vidéo] https://t.co/zgFnFzDsuY #intelligenceArtific…
  • CRIM sera présent au #TekkTour Digital Wallonia à Mons le 6 nov. pour des rencontres internationales consacrées à l… https://t.co/vsJftBQCE0