Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal
Cím | Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal |
Közlemény típusa | Conference Paper |
Kiadás éve | 2013 |
Szerzők | Darvas, D., and Vörös, A. |
Konferencia neve | Mesterpróba 2013. Konferenciakiadvány |
Kiadás dátuma | 05/2013 |