Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Formal Specification and Verification for Automated Production Systems

PhD Thesis
Author(s):Alexander Sebastian Weigl
School:Karlsruhe Institute of Technology (KIT)
Year:2021
DOI:10.5445/IR/1000140942

BibTeX

@PhDThesis{WeiglDiss2021,
    author      = {Alexander Sebastian Weigl},
    year        = {2021},
    title       = {Formal Specification and Verification
                   for Automated Production Systems},
    doi         = {10.5445/IR/1000140942},
    school      = {Karlsruhe Institute of Technology (KIT)},
    month       = dec
}