HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Hanane Ouaar

Publications
A Model Checking Based Business Process for Monitoring Company's Strategies
Hanane Ouaar and Mahmoud Boufaida
EasyChair Preprint no. 8720

Keyphrases

Agent Monitoring Protocol, Agility., Business Process Strategy System, formal methods, verification.

Copyright © 2012-2023 easychair.org. All rights reserved.