Formal Specification and Verification for Automated Production Systems

PhD Thesis

Author(s):Alexander Sebastian Weigl
School:Karlsruher Institut für Technologie (KIT)
Publisher:Karlsruher Institut für Technologie (KIT)
Year:2021
DOI:10.5445/IR/1000140942

BibTeX

@phdthesis{Weigl2021_1000140942,
    author       = {Alexander Sebastian Weigl},
    year         = {2021},
    title        = {Formal Specification and Verification for Automated Production Systems},
    doi          = {10.5445/IR/1000140942},
    publisher    = {{Karlsruher Institut für Technologie (KIT)}},
    pagetotal    = {262},
    school       = {Karlsruher Institut für Technologie (KIT)},
    language     = {english}
}