Conference , Workshops Proceedings

Formal Framework for Automated Analysis ...

Haydar, M. "Formal Framework for Automated Analysis and Verification of Web-based Applications" in Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), pp. 410-413. Linz, Austria
[Full text] [Abstract]

  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…
  • ???? Séminaire R-D du CRIM le 10 octobre - Réseaux de neurones profonds dans un contexte d'informatique en périphérie.… https://t.co/SirCEokiQN