Conference , Workshops Proceedings

Checking Experiments for Symbolic Input/Output Finite State Machines

Petrenko, A. "Checking Experiments for Symbolic Input/Output Finite State Machines" in Proc. of the IEEE Ninth International Conference on Software Testing, Verification and Validation (ICST'2016), pp. 3-18 Volume 9447 of the series Lecture Notes in Computer Science. Illinois, Chicago, USA, 10 to 15 April 2016

  • Présentation de l’étude d’impact par Étienne Vignola-Gagné de @ScienceMetrix. Merci à ceux qui ont contribué, par l… https://t.co/wae5iGCYLY
  • Ouverture de l’assemblée par Guillaume Bazinet, VP Stratégie et développement d’affaires chez @FZXRecrutement et pr… https://t.co/nTyvVnT4CH