Conference , Workshops Proceedings

Specification Patterns ...

Haydar, M., Sahraoui, H. and Petrenko, A. "Specification Patterns for Formal Web Verification" in Proceedings of the 8th International Conference on Web Engineering (ICWE 2008), pp. 240-246. NY, Yorktown Heights, USA
[Full text] [Abstract]

  • Le CRIM est heureux d'être l'hôte du Montreal Apache Spark Meetup du 18 décembre : https://t.co/KPi5y7lMM3 https://t.co/W43EX2Isyl
  • L’Internet des Objets (IdO) en milieu manufacturier - Webinaire présenté par @economie_quebec en collaboration avec… https://t.co/LPz4Kb0SJG