Conference , Workshops Proceedings

Towards Testing from Finite State Machines with Symbolic Inputs and Outputs

Petrenko, A. "Towards Testing from Finite State Machines with Symbolic Inputs and Outputs" dans Proceedings of the 21th ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), pp. 187-187. Copenhague, Danemark, 14 to 19 October 2018

  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4