An assume-guarantee rule for checking simulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of the Futurebus+ cache coherence protocol: a case study in model checking
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
WSCMon: runtime monitoring of web service orchestration based on refinement checking
Service Oriented Computing and Applications
| Hi-index | 0.00 |