Journal

Can a Model Checker Generate Tests for...

Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" Electronic Notes in Theoretical Computer Science, 190 (2) 2007 : 3-19
[Full text] [Abstract]

  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…
  • ???? Séminaire R-D du CRIM le 10 octobre - Réseaux de neurones profonds dans un contexte d'informatique en périphérie.… https://t.co/SirCEokiQN