Combining Independent Specifications
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Test aspect of requirement specification
Computer Standards & Interfaces
Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing properties of the resource reservation protocol
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
An invariant-based approach to the verification of asynchronous parameterized networks
Journal of Symbolic Computation
Hi-index | 0.00 |