Zobrazeno 1 - 10
of 586
pro vyhledávání: '"Jurdzinski, M."'
Publikováno v:
Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings), 1-6
STARTPAGE=1;ENDPAGE=6;TITLE=Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642333644
STARTPAGE=1;ENDPAGE=6;TITLE=Formal Modeling and Analysis of Timed Systems (10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings)
Lecture Notes in Computer Science ISBN: 9783642333644
Software plays an increasingly important role in modern embedded systems, leading to a rapid increase in design complexity. Model-driven exploration of design alternatives leads to shorter, more predictable development times and better controlled pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e636c8d83c5a345b489a7ac373a8b38
https://doi.org/10.1007/978-3-642-33365-1_1
https://doi.org/10.1007/978-3-642-33365-1_1
Autor:
Krichen, Moez1,2 (AUTHOR) moez.krichen@ieee.org, Harbaoui, Ahmed3 (AUTHOR) moez.krichen@ieee.org
Publikováno v:
Mathematics (2227-7390). Nov2024, Vol. 12 Issue 21, p3421. 24p.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Concavely-priced probabilistic timed automata, an extension of probabilistic timed automata, are introduced. In this paper we consider expected reachability, discounted, and average price problems for concavely-priced probabilistic timed automata for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a4d87c0c99d0746536c68b3a044608c5
http://ora.ox.ac.uk/objects/uuid:f5d79298-a1a4-4203-a3ef-47fb23242522
http://ora.ox.ac.uk/objects/uuid:f5d79298-a1a4-4203-a3ef-47fb23242522
Publikováno v:
Dagstuhl Seminar Proceedings 07471
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::7118c7c41f7ef3904d45fb4da4303ae4
https://cris.maastrichtuniversity.nl/en/publications/3e310a95-b705-4d3a-ab48-1486771395a6
https://cris.maastrichtuniversity.nl/en/publications/3e310a95-b705-4d3a-ab48-1486771395a6
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Jurdzinski, M., Lazic, R.
Publikováno v:
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007); 2007, p131-140, 10p
Publikováno v:
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05); 2005, p178-187, 10p