Login / Signup
Application of formal methods to modelling and analysis aspects of business process reengineering.
Junaid Haseeb
Naveed Ahmad
Saif Ur Rehman Malik
Adeel Anjum
Published in:
Bus. Process. Manag. J. (2020)
Keyphrases
</>
formal methods
formal analysis
machine learning
knowledge base
safety critical
case study
database management systems