Format:
XII, 506 S.
,
Ill., graph. Darst.
ISBN:
9783540292098
,
3540292098
Series Statement:
Lecture Notes in Computer Science 3707
Language:
English
Subjects:
Computer Science
Keywords:
Systementwurf
;
Systemanalyse
;
Formale Methode
;
Verifikation
;
Formale Methode
;
Verifikation
;
Model Checking
;
Softwareentwicklung
;
Hardwareentwurf
;
Verifikation
;
Model Checking
;
Zeitbehafteter Automat
;
Eingebettetes System
;
Hybrides System
;
Formale Methode
;
Zeitbehafteter Automat
;
Eingebettetes System
;
Hybrides System
;
Model Checking
;
Konferenzschrift
;
Kongress
;
Konferenzschrift
;
Konferenzschrift
URL:
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3707
Author information:
Peled, Doron 1962-