Real-time systems : formal specification and automatic verification /

Bibliographic Details

Main Author:	Olderog, E.-R
Other Authors:	Dierks, H.
Format:	Book
Language:	English
Published:	Cambridge, UK ; New York : Cambridge University Press, 2008.
Subjects:	Real-time data processing.