Temporal verification of reactive systems : safety

By:

Contributor(s):

Material type: Text

TextPublication details: Nueva York : [S.n.], 1995Edition: 1a. edDescription: xviii, 512: 24cmISBN:

Subject(s):

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due
Libro	Biblioteca de la Facultad de Informática	C.3 MAN (Browse shelf(Opens below))	Available

Previous								Next
Previous	C.3 ELL Developing real-time embedded software : In a market-driven company	C.3 FOR Formal methods for real-time computing	C.3 GOL A practical guide to real-time systems development	C.3 MAN Temporal verification of reactive systems : safety	C.3 MAN The temporal logic of reactive and concurrent systems : specification	C.3 QUI Verification and validation of real-time software	C.3 REA Real-time database and information systems : research advances	Next

Click on an image to view it in the image viewer