Zobrazeno 1 - 10
of 48
pro vyhledávání: '"Beber B"'
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.
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.
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.
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:
Althaus, E., Beber, B., Damm, W., Disch, S., Hagemann, W., Rakow, A., Scholl, C., Waldmann, U., Wirtz, B.
Publikováno v:
AVACS Technical Report
This paper provides a suite of optimization techniques for the verification of safety properties of linear hybrid automata with large discrete state spaces, such as naturally arising when incorporating health state monitoring and degradation levels i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1874::4a49adc3aaac98ded9d7424bc79f2d11
https://hdl.handle.net/11858/00-001M-0000-002C-4540-0
https://hdl.handle.net/11858/00-001M-0000-002C-4540-0
Publikováno v:
Cancer (0008543X); Mar2012, Vol. 118 Issue 6, p1701-1709, 9p
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.
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.
Kniha
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.