Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Abruptly terminated connections in TCP - a verification example
| 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 () |