A rigorous methodology for specification and verification of business processes
10.1007/s00165-009-0106-y
Saved in:
Main Authors: | Masalagiu, C., Chin, W.-N., Andrei, Ş., Alaiba, V. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39812 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
From verification to specification inference
by: Chin, W.-N., et al.
Published: (2013) -
Enhanced specification expressivity for verification with separation logic
by: DAVID CRISTINA MARIANA
Published: (2012) -
Immutable specifications for more concise and precise verification
by: David, C., et al.
Published: (2013) -
Immutable specifications for more concise and precise verification
by: David, C., et al.
Published: (2013) -
A consolidated methodology for business process reengineering
by: Thong, J.Y.L., et al.
Published: (2013)