Conference , Workshops Proceedings

An Automata-Based Approach to Property ...

Hallal, H., Boroday, S., Ulrich, A. and Petrenko, A. "An Automata-Based Approach to Property Testing in Event Traces" in Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), pp. 180-196. Sofia Antipolis, France
[Full text] [Abstract]

  • TECHNOCompétences RT @TECHNOCompetenc: Êtes-vous inscrits à la formation le développeur et le besoin d'affaires du 13 mars prochain ? @CRIM_ca @communautique…
  • TECHNOCompétences RT @TECHNOCompetenc: Avez-vous lu l'article d'@espressojobs sur la Classe de Maîtres CSS3/Angular et HTML5 avec nos partenaires le @CRIM_ca…