Publications Details

Publications / Conference Presenation

Q: A Sound Verification Framework for Statecharts and Their Implementations

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

Abstract not provided.