Jump to Navigation
MEALS
Mobility between Europe and Argentina applying Logics to Systems
User menu
Login
You are here
Home
›
Publications
Filters:
Author
is
Petr Novotný
[Clear All Filters]
In Press
T. Brázdil
,
L. Korenciak
,
J. Krčál
,
P. Novotný
, and
V. Rehák
, “
Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis
”, in
QEST 2015
, In Press.
Google Scholar
BibTex
Main menu
Home
Work Packages
Partners & People
Announcements
Publications
Deliverables
Contents
Home
Work Packages
Partners & People
Announcements
Publications
Authors
WP1
WP2
WP3
WP4
WP5
Deliverables
