分享给好友:
Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science Manfred Broy 2005 edition
Model-Based Testing of Reactive Systems: Advanced Lectures - Lecture Notes in Computer Science
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
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2005年6月27日 |
| ISBN13 | 9783540262787 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 664 |
| 商品尺寸 | 155 × 235 × 34 mm · 898 g |
| 语言 | 法语 |
| 编辑 | Broy, Manfred |
| 编辑 | Jonsson, Bengt |
| 编辑 | Katoen, Joost-Pieter |
| 编辑 | Leucker, Martin |
| 编辑 | Pretschner, Alexander |
Manfred Broy的更多作品
显示全部Mere med samme udgiver
查看Manfred Broy的全部作品 ( 例如 Paperback Book , Hardcover Book 及 Book )