Zum Inhalt springen Seyyedi, Razi [VerfasserIn] ; Nebel, Wolfgang [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn] Globally Accurate Locally Inaccurate (GALI) : on the combination of time-triggered architectures with instruction accurate simulators for the analysis of system behavior Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, [2023] Trende, Alexander [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Rieger, Jochem [AkademischeR BetreuerIn] Menschmodellierung für adaptive Straßenfahrzeuge Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2023 Khan, Saifullah [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Uhlemann, Elisabeth [Sonstige Person, Familie und Körperschaft] Geometry-predicting communication protocols for car2X applications Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2018 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 > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, [2019] Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [Sonstige Person, Familie und Körperschaft] Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017 Gollücke, Volker [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017 Weber, Lars [VerfasserIn] ; Möbus, Claus [AkademischeR BetreuerIn]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Driver modeling and simulation of lane change situations : influence of different rear view mirror types on gap acceptance behavior Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017 Schweigert, Sören [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Simulative Überprüfung von Sensordatenverarbeitungssystemen Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017 Gao, Yang [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Zuliani, Paolo [Sonstige Person, Familie und Körperschaft] Verification of stochastic systems by stochastic satisfiability modulo theories with continuous domain (CSSMT) Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017 Fränzle, Martin [HerausgeberIn]; Markey, Nicolas [HerausgeberIn] Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9884 Pinkowski, Jan [VerfasserIn] ; Hahn, Axel [Sonstige Person, Familie und Körperschaft]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2015 Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn] Quantitative and structural analysis of real-time and probabilistic systems Bücher Online ansehen Schließen > Zugang https://d-nb.info/1106381106/34 kostenfrei Zeige weitere weniger zeigen 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, 2016 Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn] ; Paul Kröger and Martin Fränzle [MitwirkendeR] Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022 Bairy, Akhila [VerfasserIn]; Fränzle, Martin [VerfasserIn] Optimal explanation generation using attention distribution model Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2023 Erschienen in: Human Interaction and Emerging Technologies (IHIET-AI 2023) ; (2023), Seite 41-49 Kröger, Janis [VerfasserIn]; Fränzle, Martin [VerfasserIn] Updates at runtime for cyber physical systems : a game theoretic approach Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2023 Erschienen in: Digitale Bibliothek ; (2023), Seite 54-65 Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn] Bayesian hybrid automata : a formal model of justified belief in interacting hybrid systems subject to imprecise observation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2022 Erschienen in: Leibniz Transactions on Embedded Systems ; 8(2022), 2, Seite 1-27 Parisi, Stella [VerfasserIn]; Fränzle, Martin [VerfasserIn] Navigating with safety in confined waterways : an explorative case study Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2017 Erschienen in: Mensch und Computer (2017 : Regensburg): Mensch und Computer 2017 - Workshopband, 10.-13. September 2017, Regensburg ; (2017), Seite 25-32 Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft] Quantitative and structural analysis of real-time and probabilistic systems Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2016 Abdelaal, Mohamed Elsayed Hassan [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]; Wen, Yuanqiao [AkademischeR BetreuerIn] Nonlinear model predictive control for trajectory tracking and collision avoidance of surface vessels Bücher Online ansehen Schließen > Zugang https://d-nb.info/1176106481/34 kostenfrei Zeige weitere weniger zeigen 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, 2018 Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [AkademischeR BetreuerIn]; Theel, Oliver [AkademischeR BetreuerIn] Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models Bücher Online ansehen Schließen > Zugang https://d-nb.info/1151312479/34 kostenfrei Zeige weitere weniger zeigen 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, 2017
Seyyedi, Razi [VerfasserIn] ; Nebel, Wolfgang [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn] Globally Accurate Locally Inaccurate (GALI) : on the combination of time-triggered architectures with instruction accurate simulators for the analysis of system behavior Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, [2023]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Trende, Alexander [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Rieger, Jochem [AkademischeR BetreuerIn] Menschmodellierung für adaptive Straßenfahrzeuge Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2023
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Khan, Saifullah [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Uhlemann, Elisabeth [Sonstige Person, Familie und Körperschaft] Geometry-predicting communication protocols for car2X applications Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2018
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
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 > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, [2019]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [Sonstige Person, Familie und Körperschaft] Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gollücke, Volker [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Bewertung von Simulationszuständen für eine gezielte Analyse risikoreicher Systeme Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Weber, Lars [VerfasserIn] ; Möbus, Claus [AkademischeR BetreuerIn]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Driver modeling and simulation of lane change situations : influence of different rear view mirror types on gap acceptance behavior Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Schweigert, Sören [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Simulative Überprüfung von Sensordatenverarbeitungssystemen Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gao, Yang [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Zuliani, Paolo [Sonstige Person, Familie und Körperschaft] Verification of stochastic systems by stochastic satisfiability modulo theories with continuous domain (CSSMT) Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Fränzle, Martin [HerausgeberIn]; Markey, Nicolas [HerausgeberIn] Formal Modeling and Analysis of Timed Systems : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings Bücher Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cham: Springer, 2016 Erschienen in: Lecture notes in computer science ; 9884
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pinkowski, Jan [VerfasserIn] ; Hahn, Axel [Sonstige Person, Familie und Körperschaft]; Fränzle, Martin [Sonstige Person, Familie und Körperschaft] Prozessgetriebene Risikoanalyse zur Bewertung maritimer Operationen Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2015
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [AkademischeR BetreuerIn] Quantitative and structural analysis of real-time and probabilistic systems Bücher Online ansehen Schließen > Zugang https://d-nb.info/1106381106/34 kostenfrei Zeige weitere weniger zeigen 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, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn] ; Paul Kröger and Martin Fränzle [MitwirkendeR] Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bairy, Akhila [VerfasserIn]; Fränzle, Martin [VerfasserIn] Optimal explanation generation using attention distribution model Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2023 Erschienen in: Human Interaction and Emerging Technologies (IHIET-AI 2023) ; (2023), Seite 41-49
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kröger, Janis [VerfasserIn]; Fränzle, Martin [VerfasserIn] Updates at runtime for cyber physical systems : a game theoretic approach Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2023 Erschienen in: Digitale Bibliothek ; (2023), Seite 54-65
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Kröger, Paul [VerfasserIn]; Fränzle, Martin [VerfasserIn] Bayesian hybrid automata : a formal model of justified belief in interacting hybrid systems subject to imprecise observation Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2022 Erschienen in: Leibniz Transactions on Embedded Systems ; 8(2022), 2, Seite 1-27
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Parisi, Stella [VerfasserIn]; Fränzle, Martin [VerfasserIn] Navigating with safety in confined waterways : an explorative case study Aufsätze Online ansehen Schließen > Zugang Zugang zur Ressource (via DOI) Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. 2017 Erschienen in: Mensch und Computer (2017 : Regensburg): Mensch und Computer 2017 - Workshopband, 10.-13. September 2017, Regensburg ; (2017), Seite 25-32
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft] Quantitative and structural analysis of real-time and probabilistic systems Bücher Online ansehen Schließen > Zugang Zugang und weitere Informationen zur Ressource Zeige weitere weniger zeigen Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Oldenburg, 2016
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Abdelaal, Mohamed Elsayed Hassan [VerfasserIn] ; Hahn, Axel [AkademischeR BetreuerIn]; Fränzle, Martin [AkademischeR BetreuerIn]; Wen, Yuanqiao [AkademischeR BetreuerIn] Nonlinear model predictive control for trajectory tracking and collision avoidance of surface vessels Bücher Online ansehen Schließen > Zugang https://d-nb.info/1176106481/34 kostenfrei Zeige weitere weniger zeigen 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, 2018
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Mahdi, Ahmed [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Becker, Bernd [AkademischeR BetreuerIn]; Theel, Oliver [AkademischeR BetreuerIn] Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories : an approach to verify safety properties in embedded and hybrid system models Bücher Online ansehen Schließen > Zugang https://d-nb.info/1151312479/34 kostenfrei Zeige weitere weniger zeigen 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, 2017
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Medientyp Skip to next facet Aufsätze (147) Wert ausschließen Bücher (43) Wert ausschließen Konferenzberichte (1) Wert ausschließen zeige weitere weniger zeigen
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Rechte-/Nutzungshinweis Skip to next facet Namensnennung (CC BY) (2) Wert ausschließen zeige weitere weniger zeigen
> Zugangsstatus Skip to next facet Freier Zugang (117) Wert ausschließen Ohne Angabe (73) Wert ausschließen zeige weitere weniger zeigen
> Sprache Skip to next facet Englisch (116) Wert ausschließen Nicht zu entscheiden (62) Wert ausschließen Deutsch (14) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (54) Wert ausschließen Technik (23) Wert ausschließen Mathematik (18) Wert ausschließen Physik (7) Wert ausschließen Medizin (2) Wert ausschließen Wirtschaftswissenschaften (2) Wert ausschließen Chemie und Pharmazie (1) Wert ausschließen Kunst und Kunstgeschichte (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Fränzle, Martin (163) Wert ausschließen Damm, Werner (25) Wert ausschließen Fränzle, Martin (21) Wert ausschließen Zhan, Naijun (21) Wert ausschließen Xue, Bai (18) Wert ausschließen Hagemann, Willem (16) Wert ausschließen Kröger, Paul (16) Wert ausschließen Biebl, Bianca (15) Wert ausschließen Hahn, Axel (14) Wert ausschließen Pretschner, Alexander (14) Wert ausschließen Rieger, Jochem (14) Wert ausschließen Unni, Anirudh (14) Wert ausschließen Rakow, Astrid (13) Wert ausschließen Trende, Alexander (13) Wert ausschließen Sztipanovits, Janos (12) Wert ausschließen Bengler, Klaus (11) Wert ausschließen Kacianka, Severin (11) Wert ausschließen Lehnhoff, Sebastian (11) Wert ausschließen Held, Moritz (9) Wert ausschließen Hess, David (9) Wert ausschließen Ihme, Klas (9) Wert ausschließen Kerscher, Alyssa J. (9) Wert ausschließen Luedtke, Andreas (9) Wert ausschließen Schwammberger, Maike (9) Wert ausschließen Schweda, Mark (9) Wert ausschließen Sonntag, Daniel (9) Wert ausschließen Teige, Tino (9) Wert ausschließen Abate, Alessandro (8) Wert ausschließen Gerwinn, Sebastian (8) Wert ausschließen Lüdtke, Andreas (8) Wert ausschließen Chen, Mingshuai (7) Wert ausschließen Eggers, Andreas (7) Wert ausschließen Koopmann, Björn (7) Wert ausschließen Swaminathan, Mani (7) Wert ausschließen Weber, Lars (7) Wert ausschließen Austel, Benedikt (6) Wert ausschließen Böde, Eckard (6) Wert ausschließen Herde, Christian (6) Wert ausschließen Mahdi, Ahmed (6) Wert ausschließen Stierand, Ingo (6) Wert ausschließen Veith, Eric (6) Wert ausschließen Becker, Bernd (5) Wert ausschließen Li, Yangjia (5) Wert ausschließen Mosaad, Peter N. (5) Wert ausschließen Puch, Stefan (5) Wert ausschließen Ramdani, Nacim (5) Wert ausschließen Theel, Oliver (5) Wert ausschließen Büker, Matthias (4) Wert ausschließen Ehmen, Günter (4) Wert ausschließen Gao, Yang (4) Wert ausschließen Hansen, Michael R. (4) Wert ausschließen Kröger, Janis (4) Wert ausschließen Müller-Olm, Markus (4) Wert ausschließen Nebel, Wolfgang (4) Wert ausschließen Shirmohammadi, Mahsa (4) Wert ausschließen Worrell, James (4) Wert ausschließen Abdelaal, Mohamed (3) Wert ausschließen Bloem, Roderick (3) Wert ausschließen Cano Córdoba, Filip (3) Wert ausschließen Ellen, Christian (3) Wert ausschließen Fahrenberg, Uli (3) Wert ausschließen Forrest, Laine (3) Wert ausschließen Franzle, Martin (3) Wert ausschließen Grüttner, Kim (3) Wert ausschließen Ittershagen, Philipp (3) Wert ausschließen Josko, Bernhard (3) Wert ausschließen Katoen, Joost-Pieter (3) Wert ausschließen Kramer, Birte (3) Wert ausschließen Könighofer, Bettina (3) Wert ausschließen Laine, Forrest (3) Wert ausschließen Mosaad, Peter Nazier (3) Wert ausschließen Niehaus, Jürgen (3) Wert ausschließen Palmisano, Alexander (3) Wert ausschließen Poppen, Frank (3) Wert ausschließen Siegel, Michael (3) Wert ausschließen Veith, Eric M. S. P. (3) Wert ausschließen Wang, Qiuye (3) Wert ausschließen Bogomolov, Sergiy (2) Wert ausschließen Bolles, André (2) Wert ausschließen Dorff, Sebastian vom (2) Wert ausschließen Easwaran, Arvind (2) Wert ausschließen Feng, Shenghua (2) Wert ausschließen Finkbeiner, Bernd (2) Wert ausschließen Forschungsvereinigung Automobiltechnik (2) Wert ausschließen FrÄnzle, Martin (2) Wert ausschließen Fröschle, Sibylle (2) Wert ausschließen Grundt, Dominik (2) Wert ausschließen Hartmann, Alexander K. (2) Wert ausschließen Hess, David J. (2) Wert ausschließen Jochem, Reiger (2) Wert ausschließen Jurj, Sorin Liviu (2) Wert ausschließen Kahlke, Till (2) Wert ausschließen Kapur, Deepak (2) Wert ausschließen Khan, Saifullah (2) Wert ausschließen Kohn, Florian (2) Wert ausschließen Koopmann, Tjark (2) Wert ausschließen Lee, Dasom (2) Wert ausschließen Liu, Wanwei (2) Wert ausschließen Möbus, Claus (2) Wert ausschließen Möhlmann, Eike (2) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Verbunddaten SWB (65) Wert ausschließen Lizenzfreie Online-Ressourcen (62) Wert ausschließen Springer International Publishing (CrossRef) (26) Wert ausschließen Diss online (21) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (21) Wert ausschließen BASE - Bielefeld Academic Search Engine (11) Wert ausschließen Elsevier BV (CrossRef) (8) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (7) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (7) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (6) Wert ausschließen Institute of Electrical and Electronics Engineers (IEEE) (CrossRef) (6) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (3) Wert ausschließen Open Publishing Association (CrossRef) (3) Wert ausschließen Springer Nature Switzerland (CrossRef) (3) Wert ausschließen DOAJ Directory of Open Access Journals (2) Wert ausschließen Frontiers Media SA (CrossRef) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen Association for the Advancement of Artificial Intelligence (AAAI) (CrossRef) (1) Wert ausschließen Carl von Ossietzky Universität Oldenburg: /oops/ - Oldenburger Online-Publikations-Server (1) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (1) Wert ausschließen Editura Universitatii Alexandru Ioan Cuza din Iasi (CrossRef) (1) Wert ausschließen IOS Press (CrossRef) (1) Wert ausschließen Institutional Repository of Leibniz Universität Hannover (1) Wert ausschließen MDPI AG (CrossRef) (1) Wert ausschließen SAGE Publications (CrossRef) (1) Wert ausschließen Wiley (CrossRef) (1) Wert ausschließen zeige weitere weniger zeigen