Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an embedded Microcontroller System
Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
Kellerer, Wolfgang; Iselt, Andreas; Riek, R.
Book / Congress title:
FORTE/PSTV 1996, International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE IX) and Protocol Specification, Testing and Verification (PSTV XVI)