Compositional verification of concurrent and real-time systems

Compositional verification of concurrent and real-time systems

Saved in:
Bibliographic Details
Main Author: Juan, Eric Y. T.
Other Authors: Tsai, Jeffrey J.-P
Format: Book
Published: Boston Kluwer Academic Publishers 2002.
Series:The Kluwer international series in engineering and computer science ; SECS 676
Subjects:
Computer systems > Verification.
Real-time data processing.
Parallel processing (Electronic computers)
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xvii, 196 p. ill. 25 cm.
Bibliography:Includes bibliographical references (p. [187]-193) and index.
ISBN:140207025X (alk. paper)

Similar Items