UID:
almahu_9948191431202882
Format:
249 S.
,
online resource.
Edition:
1st ed. 1992.
ISBN:
9783322839794
Note:
1 Introduction -- 1.1 Overview -- 1.2 Communication Systems -- 1.3 Protocol Engineering -- 2 Protocol Specification with Formal Description Techniques -- 2.1 Informal Specification -- 2.2 Formal Description Techniques (FDTs) -- 2.3 Comparative Assessment -- 3 Protocol Specification with Communicating Rule Systems -- 3.1 Extended Abstract Syntax Notation One (X-ASN.1) -- 3.2 Communicating Rule Systems (CRS) -- 3.3 Operational Semantics ot CRS -- 4 Protocol Engineering with Formal Description Techniques -- 4.1 Executable FDTs -- 4.2 Protocol Engineering Environments -- 5 Protocol Engineering with Communicating Rule Systems -- 5.1 Executable CRS -- 5.2 CRS Integrated Tools Environment -- 6 Conclusions -- 6.1 Summary of Results -- 6.2 Implementation Status and Early Experiences -- 6.3 Prospects and Future Work -- References.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783528052430
Language:
German
DOI:
10.1007/978-3-322-83979-4
URL:
https://doi.org/10.1007/978-3-322-83979-4