Skip to content
GO TO EUDAT WEBSITE
DATA CATALOGUE
REPOSITORIES
PROJECTS
ABOUT
Service Documentation
EUDAT Core Metadata Schema
EUDAT Support Request
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
1 dataset found
Keywords:
automata learning model checking network protocols
Filter Results
Source code and data relevant for the paper 'Combining Model Learning and Mod...
The dataset contains source code and data relevant for the paper "Combining Model Learning and Model Checking to Analyze TCP Implementations".Paper url:...
You can also access this registry using the
API
(see
API Docs
).
