Skip to content

Runtime Verification of Statechart Implementations.

Gergely Pintr, Istvn Majzik

VenueA*ICSE
Year2004
ProceedingsWADS

Browse the full ICSE paper archive.