Acte de conférence, colloque et atelier

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
[Résumé]