Introduction to algebraic specifications based on the language ACT ONE

Authors:
Jan de Meer;Rudolf Roth;Son Vuong
Affiliations:
-;-;-
Venue:
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
Year:
1992

Citing 0
Cited 2

Using LOTOS in the specification of industrial bus communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Abstracting timing information in UML state charts via temporal ordering and LOTOS

Proceedings of the 6th International Workshop on Automation of Software Test

Quantified Score

Hi-index	0.00

Visualization

Abstract