Real time systems formal specification and automatic verification

Saved in:

Bibliographic Details
Main Author:	Olderog ,E.R
Other Authors:	Dierks ,Henning
Format:	Book
Language:	English
Published:	Cambridge, UK, New York Cambridge University Press 2008.
Subjects:	Real-time data processing.
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Similar Items