Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Abruptly terminated connections in TCP - a verification example

 
: Schieferdecker, I.K.

Brezocnik, Z.; Kapus, T. ; European Cooperation in the Field of Scientific and Technical Research -COST-:
COST 247 International Workshop on Applied Formal Methods in System Design 1996. Proceedings : Maribor, 17-19 June 1996
Maribor, 1996
ISBN: 86-435-0155-7
S.136-145
International Workshop on Applied Formal Methods in System Design <1996, Maribor>
Englisch
Konferenzbeitrag
Fraunhofer FOKUS ()

: http://publica.fraunhofer.de/dokumente/960790.html