Skip to content

Test Generation for X-machines with Non-terminal States and Priorities of Operations.

Kirill Bogdanov

VenueAICST
Year2011
ProceedingsICST

Browse the full ICST paper archive.