Conference , Workshops Proceedings

Formal Verification of Web Applications ...

Haydar, M., Petrenko, A. and Sahraoui, H. "Formal Verification of Web Applications Modeled by Communicating Automata" in Proceedings of 24th IFIP WG 6.1 IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), pp. 115-132. Madrid, Spain
[Full text] [Abstract]

  • Claude Chapdelaine, spécialiste en #ergonomiecognitive et conseillère senior au CRIM, parle d'#IA et de… https://t.co/qSKiDRhvqz
  • Facilis RT @facilis_inc: Nous sommes très fiers de s'associer avec le @CRIM_ca afin d'intégrer des fonctions d'#intelligenceartificielle à nos appl…