Media type: Book; Conference Proceedings Title: Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings Contributor: Cha, Sungdeok [Hrsg.]; Choi, Jin-Young [Other]; Kim, Moonzoo [Other]; Lee, Insup [Other]; Viswanathan, Mahesh [Other] Event: ATVA imprint: Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5311 Extent: XIV, 430 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 354088386X; 9783540883869 Publisher, production or purchase order numbers: Sonstige Nummer: 12536924 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 Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 9848 Item ID: 32110018 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order