Using formal description techniques an introduction to Estelle, LOTOS, and SDL
Saved in:
Other Authors: | Turner, Kenneth J |
---|---|
Format: | Unknown |
Published: |
Chichester [England] New York
Wiley
1993
|
Series: | Wiley series in communication and distributed systems
|
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Formal description techniques, IV proceedings of the ... FORTE '91, Sydney, Australia, 19-22 November 1991
Published: (1992) -
Formal description techniques, II proceedings of the ... FORTE '89, Vancouver, Canada, 5-8 December 1989
Published: (1990) -
Formal description of programming concepts proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977
Published: (1986) -
Simple program schemes and formal languages
by: Engelfriet, Joost
Published: (1974) -
Formal description techniques, V proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocol--FORTE 92, Perros-Guirec, France, 13-16 October 1992
Published: (1993)