Model-Based Testing of Reactive Systems
von
Manfred Broy,Bengt Jonsson Joost-Pieter Katoen
Taschenbuch
Details (
United States
)
ISBN: 978-3-540-81211-1
ISBN-10: 3-540-81211-3
Springer
· 2008