Formal Verification of Cyber-Physical Systems Using Domain-Specific Abstractions.

Paula Herber, Julius Adelt, Philip Tasche

Browse the full SEFM paper archive.