
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification Author(s): Ernst-Rüdiger Olderog (Author), Henning Di...

Real-Time Systems: Formal Specification and Automatic Verification Author(s): Ernst-Rüdiger Olderog (Author), Henning Di...