Zobrazeno 1 - 10
of 296
pro vyhledávání: '"Damm W"'
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.
Within the german automotive industry there is a convergence on proposing catalogs of scenarios as a key element for acceptance testing of highly autonomous vehicles (HAV). This approach is currently taken in the german PEGASUS project and the ECSEL
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______166::40e441527460051fdf84f3660b7a3bec
https://hal.archives-ouvertes.fr/hal-01714060
https://hal.archives-ouvertes.fr/hal-01714060
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
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p375-400, 26p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p131-136, 6p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p364-368, 5p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p351-360, 10p
Autor:
Benveniste, A., Caillaud, B., Nickovic, D., Passerone, R., Raclet, J.-B., Reinkemeier, Ph., Sangiovanni-Vincentelli, A., Damm, W., Henzinger, T., Larsen, K. G.
Publikováno v:
Foundations & Trends in Electronic Design Automation; 2018, Vol. 12 Issue 2/3, p335-347, 13p