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]

  • FRQNT RT @FRQ_NT: Grâce à l'expertise du @CRIM_ca, @Mobi724 se lance dans le prédictif! #BigData #algorithmes #FinTech #techno @InvestQuebec @Ca…
  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk