Sign in

Probabilistic Model Checking-Based Service Selection Method for Business Process Modeling.

Honghao GaoDanqi ChuYucong DuanYuyu Yin
Published in: Int. J. Softw. Eng. Knowl. Eng. (2017)
Keyphrases
  • model checking
  • temporal logic
  • verification method
  • real time
  • formal verification
  • automated verification