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]

  • Montréal Intl RT @MTLINTL: Par où commencer ses démarches d’#immigration? #JechoisisMontréal lance une nouvelle #vidéo qui démystifie le processus de man…
  • Prompt_Innovation RT @Prompt_Innov: Activité de maillage organisée par #prompt et @lsirois007 avec des #chercheurs d' @etsmtl @polymtl @CRIM_ca @IVADO_Qc pr…