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

TitleSzaturációalapú tesztbemenet-generálás színezett Petri-hálókkal
Publication TypeConference Paper
Year of Publication2013
AuthorsDarvas, D., and Vörös, A.
Conference NameMesterpróba 2013. Konferenciakiadvány
Date Published05/2013