TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Verification-Driven Development of a Collision-Avoidance Protocol for the Ethernet

Tutkimustuotos

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoIn: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium Uppsala, Sweden, September 1996 Proceedings. Lecture notes in computer science
JulkaisupaikkaBerlin
KustantajaSpringer Verlag
Sivut228-245
TilaJulkaistu - 1996
OKM-julkaisutyyppiB3 Artikkeli konferenssijulkaisussa

Julkaisufoorumi-taso