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]

  • @Od_Sci Jour 10 – DÉJÀ LA FIN! Pour clore en beauté, découvrez Kevin Heffner, directeur #Innovation, qui discute… https://t.co/R2PvAOvSoz
  • @Od_Sci – Jour 9 : Découvrez Mohamed Dahmane, chercheur en vision au CRIM et spécialiste de la reconnaissance des… https://t.co/7vG5dGpK4J