Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems

Lukas Ladenberger. Rapid Creation of Interactive Formal Prototypes for Validating Safety-Critical Systems. PhD thesis, University of Düsseldorf, Germany, 2017. [doi]

Authors

Lukas Ladenberger

This author has not been identified. Look up 'Lukas Ladenberger' in Google