Model-Based Testing of Reactive Systems
de Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Materias
Ediciones (1)
- Model-Based Testing of Reactive Systems (2005)
Springer London, Limited · inglés · ISBN 9783540320371
Más obras de Manfred Broy
