Conference , Workshops Proceedings

Formal Verification of Business Workflows ...

Dury, A., Boroday, S., Petrenko, A. and Lotz, V. "Formal Verification of Business Workflows and Role Based Access Control System" in Proceedings of the International Conference on Emerging Security Information, Systems and Technologies (SecureWare 2007). Valencia, Spain
[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