Media type: Book; Conference Proceedings Title: Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004] Contains: Literaturverz. S. [617] - 651 Contributor: Broy, Manfred [Hrsg.] imprint: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3472 Tutorial Extent: VIII, 659 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 9783540262787; 3540262784 Publisher, production or purchase order numbers: Sonstige Nummer: 11498490 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Software > Testen > Verifikation Reaktives System > Model Checking > Verifikation Model Checking > Testmustergenerierung Endlicher Automat > Testen Transitionssystem > Testen Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: R2016 8 6807 Item ID: 31197601 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order