Sign in

Application of formal methods to modelling and analysis aspects of business process reengineering.

Junaid HaseebNaveed AhmadSaif Ur Rehman MalikAdeel Anjum
Published in: Bus. Process. Manag. J. (2020)
Keyphrases
  • formal methods
  • formal analysis
  • machine learning
  • knowledge base
  • safety critical
  • case study
  • database management systems