<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification |
Add to Reading List |
Microsoft Word - f1488_1.doc | Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-HeuserDocID: 1ptUJ - View Document |
| Automatic device connection Users want the devices to pair automatically and do not want to fiddle around with the setup. I 001DocID: 1ptiU - View Document |
| Microsoft Word - f1488_1.docDocID: 1pjVg - View Document |
| SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015DocID: 1pdyT - View Document |
| X Input Device Extension LibraryDocID: 18f6R - View Document |