Model-Based Testing of Reactive Systems [Risorsa elettronica] : Advanced Lectures / edited by Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2005
ISBN
9783540320371
Collana
Lecture Notes in Computer Science , 0302-9743 ; 3472