Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Learning-Based Testing the Sliding Window Behavior of TCP Implementations
Critical Systems: Formal Methods and Automated Verification, p.185-200
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Learning Fragments of the TCP Network Protocol
Formal Methods for Industrial Critical Systems, p.78-93
Volltextzugriff (PDF)
1 – 2 von 2
Suche als RSS-Feed
Aktive Filter
ThemaSystem Under Test
Suchergebnisse filtern
Filter anzeigen