Protocol Analysis Using a Timed Version of SDL

Authors:
Falko Bause;Peter Buchholz
Affiliations:
-;-
Venue:
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Year:
1990

Citing 0
Cited 7

Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols

IEEE Transactions on Computers - Special issue on protocol engineering
Software engineering and performance: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Evaluating Performance from Formal Specification

MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
UML for real-time: which native concepts to use?

UML for real
Research: Probabilistic fuzzy timed protocol verification

Computer Communications
Validation of protocols with temporal constraints

Computer Communications
Performance Evaluation Of Systems Defined In Specification Language Estelle

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract