Combining Model Learning and Model Checking to Analyze TCP Implementations

Thumbnail Image

Files

Primary 159606.pdf (736.4 KB)
 159606.pdf (910.42 KB)

Date

2016

Authors

Fiterau-Brostean, P.
Janssen, R. Ramon
Vaandrager, F.W. Frits

Journal Title

Journal ISSN

Volume Title

Publisher

Berlin : Springer

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/159606

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By