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

  • CANARIE RT @CANARIE_Inc: Congrats to @CRIM_ca for being one of the world's top 100 R&D projects of 2017! One of their projects, PAVICS, is an open…
  • Thank you for supporting innovative initiatives and collaborative work! https://t.co/h2TvLneAbp