Items related to Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems ISBN 13: 9783540812111

Model-Based Testing of Reactive Systems - Softcover

 
9783540812111: Model-Based Testing of Reactive Systems
Softcover
ISBN 10: 3540812113 ISBN 13: 9783540812111
Publisher: Springer, 2008

This specific ISBN edition is currently not available.

Synopsis

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-depth assessment of this emerging field, focusing on formal testing of reactive systems.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2008
Language
English
ISBN 10 
3540812113
ISBN 13 
9783540812111
Binding
Paperback
Number of pages
672
Editor
Broy Manfred, Jonsson Bengt, Katoen Joost-Pieter

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540262787: Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science, 3472)

Featured Edition

ISBN 10:  3540262784 ISBN 13:  9783540262787
Publisher: Springer, 2005
Softcover