Case studies for protocol specification with proconsul
1993
79 S
graph. Darst
Digital preservation by Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek
Book
English
Formal Specification of the TCAS Protocol
British Library Conference Proceedings | 1993
|CAN specification 2,0:protocol and implementation
Automotive engineering | 1992
|Formal specification of the TCAS protocol
AIAA | 1993
|CAN Specification 2.0: Protocol and Implementations
SAE Technical Papers | 1992
|