Model-Based Testing of Reactive Systems

Manfred

von Manfred Broy,Bengt Jonsson Joost-Pieter Katoen

Taschenbuch

ISBN: 978-3-540-81211-1

ISBN-10: 3-540-81211-3

Springer · 2008