Raheel S. Mahmood

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Efficient Implementation

Main Contribution

Top Venues

Publications

Samuel D. Pollard, Robert C. Armstrong, John Bender, Geoffrey C. Hulette, Raheel S. Mahmood, Karla Morris, Blake C. Rawlings, Jon M. Aytac
Q: A Sound Verification Framework for Statecharts and Their Implementations. FTSCS (2022)