Search Results - Ladenberger, Lukas

  • Showing 1 - 5 results of 5
Refine Results
  1. 1
    A method and tool for tracing requirements into specifications

    A method and tool for tracing requirements into specifications by Hallerstede, Stefan, Jastram, Michael, Ladenberger, Lukas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Validation of the ABZ landing gear system using ProB

    Validation of the ABZ landing gear system using ProB by Ladenberger, Lukas, Hansen, Dominik, Wiegard, Harald, Bendisposto, Jens, Leuschel, Michael

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset

    Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset by Hoang, Thai Son, Snook, Colin, Salehi, Asieh, Butler, Michael, Ladenberger, Lukas

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A formal approach to safety verification of railway signaling systems

    A formal approach to safety verification of railway signaling systems by Russo, Aryldo G, Ladenberger, Lukas

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Petrogenesis of Miocene alkaline volcanic suites from western Bohemia: whole rock geochemistry and Sr–Nd–Pb isotopic signatures

    Petrogenesis of Miocene alkaline volcanic suites from western Bohemia: whole rock geochemistry and Sr–Nd–Pb isotopic signatures by Ulrych, Jaromír, Krmíček, Lukáš, Tomek, Čestmír, Lloyd, Felicity E., Ladenberger, Anna, Ackerman, Lukáš, Balogh, Kadosa

    Published in Chemie der Erde
    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: