Model-based testing of reactive systems advanced lectures /
"Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been made to develop more sophisticated formal testing methods. This coherent book provides an in-dep...
Other Authors: | Broy, M., 1949-, SpringerLink (Online service) |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin :
Springer,
2005.
Berlin : 2005. |
Physical Description: |
1 online resource (viii, 659 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
3472. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |