Zobrazeno 1 - 10
of 53
pro vyhledávání: '"RIEKE, Roland"'
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.
ThreatSurf: A method for automated Threat Surface assessment in automotive cybersecurity engineering
Publikováno v:
In Microprocessors and Microsystems April 2022 90
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.
Publikováno v:
In Simulation Modelling Practice and Theory May 2021 109
Autor:
Ochsenschläger, Peter, Rieke, Roland
Shuffle projection is motivated by the verification of safety properties of special parameterized systems. Basic definitions and properties, especially related to alphabetic homomorphisms, are presented. The relation between iterated shuffle products
Externí odkaz:
http://arxiv.org/abs/1503.08602
Publikováno v:
In Simulation Modelling Practice and Theory December 2020 105
Publikováno v:
In International Journal of Approximate Reasoning January 2014 55(1) Part 4:436-456
Autor:
Arzt, Clemens (Prof. Dr. jur.), Kleemann, Steven, Plappert, Christian (M. Sc.), Rieke, Roland (Dr. rer. nat.), Zelle, Daniel (M. Sc.)
Durch die Novelle des Straßenverkehrsgesetzes vom 12.7.2021 wurde mit §§ STVG § 1d bis STVG § 1l StVG ein umfassender Rechtsrahmen für zunehmend vernetzte Kraftfahrzeuge mit autonomen Fahrfunktionen in Deutschland geschaffen, um Rechtssicherhei
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______266::1aeca3b30b2ee83eb835a4047f91bf6f
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/59318
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/59318
Publikováno v:
In Electronic Notes in Theoretical Computer Science 8 February 2007 168:143-157