Protocol Specification with Communicating Rule Systems (English)
- New search for: Schneider, Jürgen M.
- New search for: Schneider, Jürgen M.
In:
Protocol engineering
;
65-123
;
1992
- Article/Chapter (Book) / Electronic Resource
-
Title:Protocol Specification with Communicating Rule Systems
-
Contributors:Schneider, Jürgen M. ( author )
-
Published in:Protocol engineering ; 65-123
-
Publisher:
- New search for: Vieweg+Teubner Verlag
-
Place of publication:Wiesbaden
-
Publication date:1992-01-01
-
Size:59 pages
-
ISBN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
IntroductionSchneider, Jürgen M. et al. | 1992
- 21
-
Protocol Specification with Formal Description TechniquesSchneider, Jürgen M. et al. | 1992
- 65
-
Protocol Specification with Communicating Rule SystemsSchneider, Jürgen M. et al. | 1992
- 125
-
Protocol Engineering with Formal Description TechniquesSchneider, Jürgen M. et al. | 1992
- 149
-
Protocol Engineering with Communicating Rule SystemsSchneider, Jürgen M. et al. | 1992
- 223
-
ConclusionsSchneider, Jürgen M. et al. | 1992