Specification, Simulation and Implementation of an Advanced OSI Data-Link Protocol on an embedded Microcontroller System
Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
Kellerer, Wolfgang; Iselt, Andreas; Riek, R.
Kongress- / Buchtitel:
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)