Real-time systems : formal specification and automatic verification /

Saved in:
Bibliographic Details
Main Authors: Olderog, Ernst-Rüdiger (Author), Dierks, Henning, 1970- (Author)
Format: Book
Language:English
Published: Cambridge : Cambridge University Press, 2008
Edition:1st ed.
Subjects:
systém v reálnom čase
časový automat
vstavaný systém
matematický model
automatická verifikácia
príručky
ISBN:9780521883337
Online Access: Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items