Formal Specification and Verification for Automated Production Systems

Doktorarbeit

Autor(en):Alexander Sebastian Weigl
Hochschule:Karlsruhe Institute of Technology (KIT)
Jahr: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
}