Real-time systems : formal specification and automatic verification

Author(s)

• Olderog, E.-R.
• Dierks, Henning

Bibliographic Information

Real-time systems : formal specification and automatic verification

Ernst-Rüdiger Olderog and Henning Dierks

Cambridge University Press, 2008

Note

Bibliography: p. 304-311

Includes index

Details

• NCID: BA87776131
• ISBN:
  • 9780521883337
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, UK ; New York
• Pages/Volumes: xvi, 320 p.
• Size: 26 cm
• Classification:
  • LCC : QA76.54
  • DC22 : 004.33
• Subject Headings:
  • LCSH : Real-time data processing