Media type: Book; Conference Proceedings Title: Formal methods: foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 ; revised selected papers Contributor: Oliveira, Marcel Vinícius Medeiros [Other]; Woodcock, Jim [Other]; Medeiros Oliveira, Marcel Vinícius [Editor] Event: Brazilian Symposium on Formal Methods Published: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5902 Extent: X, 349 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642104517; 9783642104510 Publisher, production or purchase order numbers: Sonstige Nummer: 12793839 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Software > Testen > Programmverifikation > Formale Methode Verifikation > Formale Methode Sicherheitskritisches System > Interrupt > Formale Methode Fehlertoleranz > Formale Methode Model Checking Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 720 Item ID: 32184432 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order