Model-based testing of reactive systems : advanced lectures / Manfred Broy [and others] (eds.).
| Other author | Broy, M., 1949- |
| Format | Book |
| Publication Info | Berlin : Springer, 2005. |
| Description | viii, 659 pages : illustrations ; 24 cm. |
| Subjects |
| Series | Lecture notes in computer science ; 3472, 0302-9743 ; Lecture notes in computer science 3472. ^A466336 |
| Bibliography note | Includes bibliographical references and index. |
| ISBN | 3540262784 (pbk.) |
| ISBN | 9783540262787 |