A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets
IEEE Transactions on Software Engineering
Decidability of the termination problem for completely specified protocols
Distributed Computing
Calibrating embedded protocols on asynchronous systems
Information Sciences: an International Journal
PPP (P3): an Estelle-based probabilistic partial protocol verification system
Computer Communications
Hi-index | 0.00 |