Real-Time Systems: Formal Specification and Automatic Verification (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Datakommunikation og computernetværk
  5. Real-Time Systems: Formal Specification and Automatic...

Real-Time Systems: Formal Specification and Automatic Verification

(Bog, Hardback, Engelsk)
Forfattere: Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg Olderog, Henning Dierks
Real-Time Systems: Formal Specification and Automatic Verification
Forlag: Cambridge University Press

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Datakommunikation og computernetværk
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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 three of these methods: duration calculus, timed automata, and PLC-automata.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Ernst-Rudiger (Carl V. Ossietzky Universitat Oldenburg Olderog, Henning Dierks
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 11-09-2008
Første udgivelsesår 2008
Illustrationer Worked examples or Exercises; 26 Tables, unspecified; 26 Halftones, unspecified
Originalsprog United Kingdom
Sideantal 344
Indbinding Hardback
Forlag Cambridge University Press
Sideoplysninger 344 pages, Worked examples or Exercises; 26 Tables, unspecified; 26 Halftones, unspecified
Mål 180 x 249 x 18
ISBN-13 / EAN-13 9780521883337