Specification and compositional verification of real-time systems /

The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate by synchronous message passing along unidirectional channels. To specifiy functional...

Full description

Bibliographic Details

Main Author:	Hooman, J. (Jozef), 1955-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, ©1991.
Series:	Lecture notes in computer science ; 558.
Subjects:	Real-time data processing. Verificatie. Real-time systemen. Electronic books.
Online Access:	Connect to the full text of this electronic book