Computer-aided analysis of concurrent systems

Authors:
E. Timothy Morgan;Rami R. Razouk
Affiliations:
-;-
Venue:
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Year:
1985

Citing 0
Cited 5

Towards Complexity Metrics for Ada Tasking

IEEE Transactions on Software Engineering
Protocol validation in complex systems

SIGCOMM '89 Symposium proceedings on Communications architectures & protocols
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets

IEEE Transactions on Software Engineering
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols

IEEE Transactions on Software Engineering
Software Environment Architectures and User Interface Facilities

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract