Using a Process Algebraic Approach of Verifying Access Control in XML-based Healthcare Systems. | 0 | 0.34 | 2014 |
A Secure Handover Protocol Design in Wireless Networks with Formal Verification | 5 | 0.58 | 2007 |
System Resource Utilization Analysis Based On Model Checking Method | 1 | 0.37 | 2005 |
Formal specification and verification of embedded system with shared resources | 0 | 0.34 | 2004 |
SSR: Statechart with shared resources | 2 | 0.43 | 2003 |
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach | 2 | 0.38 | 2002 |
Comments on 'The Model Checker SPIN' | 4 | 0.53 | 2001 |
Equivalence checking of two Statechart specifications | 6 | 0.66 | 2000 |