Media type: Book; Conference Proceedings Title: Automated technology for verification and analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings Contributor: Graf, Susanne [Hrsg.]; Zhang, Wenhui [Other] Event: ATVA imprint: Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4218 Extent: XIV, 540 S.; graph. Darst Language: English ISBN: 3540472371; 9783540472377 Publisher, production or purchase order numbers: Sonstige Nummer: 11901914 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Systementwurf > Systemanalyse > Formale Methode > Verifikation Model Checking Softwareentwicklung > Hardwareentwurf Zeitbehafteter Automat > Eingebettetes System > Hybrides System Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7770 Item ID: 31662019 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order