
Tell your friends about this item:
Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science 2005 edition
Manfred Broy
Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science 2005 edition
Manfred Broy
The lectures are presented in topical sections on testing of finite state machines, testing of labelled transition systems, model-based test case generation, tools and case studies, standardized test notation and execution architectures, and beyond testing.
664 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | June 27, 2005 |
ISBN13 | 9783540262787 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 664 |
Dimensions | 155 × 235 × 34 mm · 898 g |
Language | French |
Editor | Broy, Manfred |
Editor | Jonsson, Bengt |
Editor | Katoen, Joost-Pieter |
Editor | Leucker, Martin |
Editor | Pretschner, Alexander |
Show all
More by Manfred Broy
See all of Manfred Broy ( e.g. Paperback Book , Hardcover Book and Book )