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]

  • Présentation de l’étude d’impact par Étienne Vignola-Gagné de @ScienceMetrix. Merci à ceux qui ont contribué, par l… https://t.co/wae5iGCYLY
  • Ouverture de l’assemblée par Guillaume Bazinet, VP Stratégie et développement d’affaires chez @FZXRecrutement et pr… https://t.co/nTyvVnT4CH