Formal methods for real-time computing / edited by Constance Heitmeyer and Dino Mandrioli.

Format:

Book

Contributor:

Heitmeyer, Constance L.

Mandrioli, Dino.

Series:

Trends in software ; 5.

Trends in software ; 5

Language:

English

Subjects (All):

Real-time data processing.

Physical Description:

xvii, 271 pages : illustrations ; 25 cm.

Place of Publication:

Chichester ; New York : Wiley, [1996]

Summary:

For safety-critical computer sustems, like air-traffic control or security systems, real-time development is crucial. This book covers state-of-art developments of formal methods for creating real-time systems that will satisfy critical timing requirements. It demonstrates the techniques and applications needed for developing such systems.

Notes:

Includes bibliographical references and index.

ISBN:

0471958352

OCLC:

34411807