Zum Inhalt springen

  4. Puch, Stefan [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Hahn, Axel [AkademischeR BetreuerIn]

    Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg: BIS der Universität Oldenburg, 2019

  5. Puch, Stefan [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Hahn, Axel [AkademischeR BetreuerIn]

    Statistisches Model Checking mittels geführter Simulation im Kontext modellbasierter Entwicklung sicherheitskritischer Fahrerassistenzsysteme

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, [2019]

  6. Koopmann, Björn [VerfasserIn]; Puch, Stefan [VerfasserIn]; Ehmen, Günter [VerfasserIn]; Fränzle, Martin [VerfasserIn]

    Cooperative maneuvers of highly automated vehicles at urban intersections : a game-theoretic approach

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    2022

    Erschienen in: De.arxiv.org ; (2022) vom: 3. Nov., Artikel-ID 2211.01633, Seite 1-12

  7. Fränzle, Stefan; Fränzle, Otto

    2003, das Jahr der Chemie

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2003

    Erschienen in: Umweltwissenschaften und Schadstoff-Forschung

  15. Fränzle, Stefan; Markert, Bernd

    Metals in biomass : From the biological system of elements to reasons of fractionation and element use : From the biological system of elements to reasons of fractionation and element use

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2006

    Erschienen in: Umweltwissenschaften und Schadstoff-Forschung

  16. Fränzle, Stefan; Markert, Bernd

    Metals in biomass : From the biological system of elements to reasons of fractionation and element use : From the biological system of elements to reasons of fractionation and element use

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2007

    Erschienen in: Environmental Science and Pollution Research - International

  17. Franzle, Stefan; Markert, Bernd

    Carcinogenesis and Chemotherapy Viewed from the Perspective of Stoichiometric Network Analysis (SNA): What Can the Biological System of the Elements Contribute to an Understanding of Tumour Induction by Elemental Chemical Noxae (e.g., Ni2+, Cd2+) and to an Understanding of Chemotherapy?

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Hindawi Limited, 2003

    Erschienen in: The Scientific World JOURNAL

  19. Fränzle, Stefan; Markert, Bernd

    Das Biologische System der Elemente (BSE): Eine modelltheoretische Betrachtung zur Essentialität von chemischen Elementen : Die Anwendungen der Stöchiometrischen Netzwerkanalyse auf das Biologische, System der Elemente

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2000

    Erschienen in: Umweltwissenschaften und Schadstoff-Forschung

  20. Puch, Stefan; Fränzle, Martin; Gerwinn, Sebastian

    Leveraging Applications of Formal Methods, Verification and Validation. Verification: Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Leveraging Applications of Formal Methods, Verification and Validation. Verification