Research Catalog

Real-time systems : specification, verification, and analysis

Title
Real-time systems : specification, verification, and analysis / edited by Mathai Joseph.
Publication
London ; New York : Prentice Hall, 1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.54 .R4298 1995Off-site

Details

Additional Authors
Joseph, M.
Description
xiv, 278 pages : illustrations; 24 cm.
Series Statement
Prentice Hall International series in computer science
Uniform Title
Prentice-Hall international series in computer science
Subject
  • Real-time data processing
  • Echtzeitsystem
  • Spezifikation
  • Systemanalyse
  • Verifikation
  • Temps réel (informatique)
Bibliography (note)
  • Includes bibliographical references and index.
Contents
1. Time and Real-time / Mathai Joseph -- 2. Fixed Priority Scheduling -- A Simple Model / Mathai Joseph -- 3. Advanced Fixed Priority Scheduling / Alan Burns and Andy Wellings -- 4. Dynamic Priority Scheduling / Krithi Ramamritham -- 5. Assertional Specification and Verification / Jozef Hooman -- 6. Specification and Verification in Timed CSP / Steve Schneider -- 7. Specification and Verification in DC / Zhiming Liu -- 8. Real-time Systems and Fault-tolerance / Henk Schepers.
ISBN
  • 0134552970
  • 9780134552972
LCCN
95042733
OCLC
  • ocm33207741
  • 33207741
  • SCSB-9159756
Owning Institutions
Princeton University Library