Research output

1. Four-Component Model for Dynamic Verification of Process-Oriented Control Software for Cyber-Physical Systems

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

2. Towards safe embedded systems: Industrialc translational semantics for avr microcontrollers^∗

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

3. LabVIEW-based automatic verification of process-oriented software

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review

View all (7) »