Skip to content
Log in
Toggle navigation
Datasets
Organizations
Groups
About
Search Datasets
Home
Datasets
Order by
Relevance
Name Ascending
Name Descending
Last Modified
Go
1 dataset found
Tags:
determinization
Filter Results
Contribution to the Verification of Timed Automata: Determinization, Quantita...
This thesis is about verification of timed automata, a well-established model for real time systems. The document is structured in three parts. The first part is...
HTML
You can also access this registry using the
API
(see
API Docs
).
