Narrow your search

Library

KU Leuven (4)

ULiège (2)

IMEC (1)

KBR (1)

UCLouvain (1)

UGent (1)

ULB (1)


Resource type

book (6)


Language

English (4)

German (2)


Year
From To Submit

2003 (1)

1997 (1)

1991 (1)

1989 (1)

1988 (1)

More...
Listing 1 - 6 of 6
Sort by

Book
Protocol and service specification with SDL : the X.25 case study
Author:
Year: 1988 Publisher: Hamburg Universität Hamburg. Fachbereich Informatik

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Ueber Hierarchisch Konstruierte Modelle und deren Simulation : Systemtheoretische Aspekte
Authors: ---
Year: 1985 Publisher: Hannover

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

SDL with applications from protocol specification
Authors: --- ---
ISBN: 0137858906 9780137858903 Year: 1991 Publisher: Hemel Hempstead: Prentice Hall,

SDL : formal object-oriented language for communicating systems
Authors: --- ---
ISBN: 0136213847 Year: 1997 Publisher: London : Prentice-Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Testing of Communicating Systems : 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings
Authors: --- ---
ISBN: 3540448306 3540401237 Year: 2003 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Listing 1 - 6 of 6
Sort by