Publications Details

Q: A Sound Verification Framework for Statecharts and their Implementations

Pollard, Samuel D.; Armstrong, Robert C.; Aytac, Jon M.; Bender, John M.; Hulette, Geoffrey C.; Mahmood, Raheel; Laros, James H.; Rawlings, Blake R.

Abstract not provided.