Real-Time Systems: Scheduling, Analysis, and Verification

Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem Ma e verlassen können. Bisher sind zu diesem Thema nur Artikelsammlungen erschienen. Jetzt liegt endlich ein Buch vor, das sich für Fachleute und Studenten gleicherma en eignet und dem Leser einen umfassenden Überblick über die verschiedenen existierenden Ansätze verschafft. Vor- und Nachteile jedes Verfahrens werden ausführlich beschrieben - das erleichtert die Methodenwahl in der Praxis! Der Autor ist nicht nur ein anerkannter Experte auf seinem Gebiet, sondern genie t auch einen hervorragenden pädagogischen Ruf.

• | Author: Albert M. K. Cheng
• | Publisher: Wiley-Interscience
• | Publication Date: Aug 12, 2002
• | Number of Pages: 552 pages
• | Binding: Hardback or Cased Book
• | ISBN-10: 0471184063
• | ISBN-13: 9780471184065