An Association of Algebraic Term Nets and Abstract Data Types for Specifying Real Communication Protocols

Authors:
Mohamed Bettaz
Affiliations:
-
Venue:
Proceedings of the 7th Workshop on Abstract Data Types: Recent Trends in Data Type Specification
Year:
1990

Citing 0
Cited 2

Modelling of Object Based Systems with Hidden Sorted ECATNets

MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools

ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract