A Model Checking Based Business Process for Monitoring Company's StrategiesEasyChair Preprint no. 8720, version historyKeyphrases: Agent Monitoring Protocol, Agility., Business Process Strategy System, formal methods, verification |
| |
Copyright © 2012-2024 easychair.org. All rights reserved. |