Zum Inhalt springen

  5. Brim, Luboš [HerausgeberIn]; Haverkort, Boudewijn [Sonstige Person, Familie und Körperschaft]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]; Pol, Jaco van de [Sonstige Person, Familie und Körperschaft] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

    Bücher
    Schließen

    Merkliste

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

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4346

  6. Leucker, Martin [MitwirkendeR] ; UniTransferKlinik Lübeck

    TwiMI - Service-Plattform für datenbasierte Medizintechnik-Innovationen : Projektabschluss der TwiMI-Konzeptphase : Laufzeit 01.10.2020-30.05.2021

    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.

    Lübeck: [UniTransferKlinik Lübeck], [2021?]

  9. Scheffel, Torben [VerfasserIn] ; Leucker, Martin [AkademischeR BetreuerIn]; Bartocci, Ezio [AkademischeR BetreuerIn]

    Expressiveness and complexity of stream-based specification languages

    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.

    Lübeck: Zentrale Hochschulbibliothek Lübeck, 2022

  10. Decker, Normann [VerfasserIn] ; Leucker, Martin [AkademischeR BetreuerIn]; Esparza, Javier [AkademischeR BetreuerIn]

    Model checking for flat systems and temporal logic with counting

    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.

    Lübeck: Zentrale Hochschulbibliothek Lübeck, 2021

  11. Friese, Max Jonas [VerfasserIn] ; Nowotka, Dirk [AkademischeR BetreuerIn]; Leucker, Martin [Sonstige Person, Familie und Körperschaft]

    Modeling and Analysis of Automotive Cyber-physical Systems : Formal Approaches to Latency Analysis in Practice

    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.

    Kiel: Universitätsbibliothek Kiel, 2021

    Erschienen in: Kiel Computer Science Series ; 2021/2

  12. Ostanina, Maria [VerfasserIn]; Leucker, Martin [VerfasserIn] ; Universität zu Lübeck Institut für Softwaretechnik und Programmiersprachen

    IHATEC Durchführbarkeitsstudie Plattform "RoRo-Hafen-4.0" : Schlussbericht = IHATEC feasibility study platform "RoRo-Hafen-4.0" final report

    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.

    Lübeck: Universität Lübeck, Institut für Softwaretechnik und Programmiersprachen, 30.03.2020

  13. Leucker, Martin [VerfasserIn]; Mildner, Alexander [VerfasserIn]

    OR.NET - Approaches for Risk Analysis and Measures of Dynamically Interconnected Medical Devices

    Konferenzberichte
    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.

    Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik; OASIcs - OpenAccess Series in Informatics. 5th Workshop on Medical Cyber-Physical Systems, 2014

  15. Scheffel, Torben [VerfasserIn] ; Leucker, Martin [AkademischeR BetreuerIn]; Bartocci, Ezio [AkademischeR BetreuerIn]

    Expressiveness and complexity of stream-based specification languages

    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.

    Lübeck: Zentrale Hochschulbibliothek Lübeck, 2022

  16. Decker, Normann [VerfasserIn] ; Leucker, Martin [AkademischeR BetreuerIn]; Esparza, Javier [AkademischeR BetreuerIn]

    Model checking for flat systems and temporal logic with counting

    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.

    Lübeck: Zentrale Hochschulbibliothek Lübeck, 2021

  17. Friese, Max Jonas [VerfasserIn] ; Nowotka, Dirk [AkademischeR BetreuerIn]; Leucker, Martin [AkademischeR BetreuerIn] Christian-Albrechts-Universität zu Kiel

    Modeling and analysis of automotive cyber-physical systems : formal approaches to latency analysis in practice

    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.

    Kiel: Institut für Informatik, Christian-Albrechts-Universität zu Kiel, 2021

    Erschienen in: Kiel computer science series ; 202102

  18. Friese, Max Jonas [VerfasserIn] ; Nowotka, Dirk [MitwirkendeR]; Leucker, Martin [MitwirkendeR]

    Modeling and Analysis of Automotive Cyber-physical Systems: Formal Approaches to Latency Analysis in Practice

    Hochschulschriften
    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.

    MACAU: Open Access Repository of Kiel University, 2021

  19. Friese, Max Jonas [VerfasserIn] ; Nowotka, Dirk [MitwirkendeR]; Leucker, Martin [MitwirkendeR]

    Modeling and Analysis of Automotive Cyber-physical Systems: Formal Approaches to Latency Analysis in Practice

    Hochschulschriften
    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.

    MACAU: Open Access Repository of Kiel University, 2021

  20. Colombo, Christian [HerausgeberIn]; Leucker, Martin [HerausgeberIn]

    Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

    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.

    Cham: Springer International Publishing, 2018

    Erschienen in: Programming and Software Engineering ; 11237- SpringerLink ; Bücher