Compositional verification of concurrent and real-time systems
By: by Eric Y.T. Juan, Jeffrey J.P. Tsai.
Contributors: Tsai, Jeffrey J.-P.
Series: The Kluwer international series in engineering and computer science -- SECS 676; The Kluwer international series in engineering and computer science -- SECS 676; Kluwer international series in engineering and computer science -- SECS 676.
Publisher: Kluwer Academic Publishers
Published: 2002
Place of publication: Boston
Language: eng
Number of pages: 196
Subjects: Parallel processing (Electronic computers); Real-time data processing; Computer systems -- Verification
Notes: Includes bibliographical references (p. [187]-193) and index.