DMCA

Test generation for sequential nets of abstract state machines (2012)

by Paolo Arcaini , Francesco Bolis , Angelo Gargantini
Venue:In Proc. of ABZ, number 7316 in LNCS
Citations:4 - 3 self