E-LIB Suche - Ergebnisse für: Puch, Stefan - Sprache EN

Search for persons X

Sorted by: Relevance

Sorted by: Year

1

A modeling methodology for collaborative evaluation of futu..:

Fakih, Maher ; Klemp, Oliver ; Puch, Stefan.
Software and Systems Modeling. 20 (2021) 5 - p. 1587-1608 , 2021

Link: https://doi.org/10.1007/..

2

Statistisches Model Checking mittels geführter Simulation ..:

Puch, Stefan , [2019]

Link: https://nbn-resolving.de..

3

Quantitative Risk Assessment of Safety-Critical Systems via..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification; Lecture Notes in Computer Science,

Puch, Stefan ; Fränzle, Martin ; Gerwinn, Sebastian - p. 305-321 , 2018

Link: https://doi.org/10.1007/..

4

Using guided simulation to assess driver assistance systems:

, In: Forms/Format 2010 / Eckehard Schnieder ... Eds.

Fränzle, Martin ; Gezgin, Tayfun ; Hungar, Hardi... (2011) - p. 195-205

Copies: Zentrale:E02 a ing 181 e/255

5

IMoG -- a methodology for modeling future microelectronic i..:

Klemp, Oliver ; Westphal, Bernd ; Puch, Stefan
http://arxiv.org/abs/2304.09110. , 2023

Link: http://arxiv.org/abs/230..

6

Cooperative Maneuvers of Highly Automated Vehicles at Urban..:

Koopmann, Björn ; Puch, Stefan ; Ehmen, Günter.
http://arxiv.org/abs/2211.01633. , 2022

Link: http://arxiv.org/abs/221..

7

Wilhelm Tell

zum 200. Jubiläum der Weimarer Uraufführung ; Übertragun...

Meyer, Claudia ; Puch, Marc Benjamin ; Märki, Stephan.. , P 2004

Copies: Zentrale/Mediathek: pg 1653

8

Structure and mechanisms of transport of human Asc1/CD98hc ..:

Rullo-Tubau, Josep ; Martinez-Molledo, Maria ; Bartoccioni, Paola...
Nature Communications. 15 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

1-8

Related subjects