Media type: Book; Conference Proceedings Title: Automated technology for verification and analysis : third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 ; proceedings Contains: Literaturangaben Contributor: Peled, Doron A. [Other]; Peled, Doron [Hrsg.] Event: ATVA imprint: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3707 Extent: XII, 506 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540292098; 9783540292098 RVK notation: SS 4800 : Lecture notes in 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 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 Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7201 Item ID: 31462312 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order