![Formal methods / Theoretical computer science / Logic in computer science / Systems engineering / Formal verification / Specification / Formal specification / Verification / Simulink / Device driver synthesis and verification Formal methods / Theoretical computer science / Logic in computer science / Systems engineering / Formal verification / Specification / Formal specification / Verification / Simulink / Device driver synthesis and verification](https://www.pdfsearch.io/img/598f6c92ff3ad5427386aadb499c00de.jpg) Date: 2014-10-14 21:17:20Formal methods Theoretical computer science Logic in computer science Systems engineering Formal verification Specification Formal specification Verification Simulink Device driver synthesis and verification | | Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-HeuserAdd to Reading ListSource URL: sdl-forum.orgDownload Document from Source Website File Size: 1,79 MBShare Document on Facebook
|