Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal

Darvas, Dániel [Darvas, Dániel (Informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK); Vörös, András [Vörös, András (informatika), szerző] Méréstechnika és Információs Rendszerek Tanszék (BME / VIK)

Magyar nyelvű Konferenciaközlemény (Egyéb konferenciaközlemény) Tudományos
Megjelent: Mesterpróba 2013: Tudományos konferencia végzős MSc és első éves PhD hallgatóknak Távközlés és infokommunikáció témakörében. (2013) pp. 48-51
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2025-03-17 10:04