Showing
1 - 4
results of
4
for search '
"model checking"
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Topic:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Reset Filters
Show filters (1)
Topic:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Search Results - Open Polar - "model checking"
Search Results
Showing
1 - 4
results of
4
for search '
"model checking"
'
, query time: 0.09s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Get access
Get access
Get access
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Get access
Get access
Get access
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Get access
Get access
Get access
Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
Get access
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Conference Object
4
Author
Hartmanns, Arnd
4
Legay, Axel
4
Sedwards, Sean
4
d'Argenio, Pedro,
3
D'Argenio, Pedro,
1
see all ...
Topic
[INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
4
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Content Provider
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
1
INSA Rennes HAL (Institut National des Sciences Appliquées)
1
Université de Nantes: HAL-UNIV-NANTES
1
Université de Rennes 1: Publications scientifiques (HAL)
1
see all ...
Language
English
4
Open Polar Keyword
Iceland
4
Loading...