Search results for ‘Ernst-Rudiger Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany),Henning Dierks’

Filter & Refine

      Cover image for Real-Time Systems: Formal Specification and Automatic Verification
      Hardback
      Add to list Added to list

      Real-Time Systems: Formal Specification and Automatic Verification

      Ernst-Rudiger Olderog (Carl V. Ossietzky Universitat Oldenburg, Germany),Henning Dierks

      An airbag in a car has to unfold within 300 milliseconds in a crash. Many embedded safety-critical applications like this, rely on real-time software specification techniques. This graduate textbook introduces…

      $154.99

      Available to order, ships in approx 2 weeksAvailable to order