Automated reasoning technologies will enable a correct-by-construction approach to systems engineering
Explore the source record for details and available documents.
Mahmood, Raheel↗
Engineering topics
Mahmood, Raheel
Publications and source records attributed to Mahmood, Raheel.
Q: A Sound Verification Framework for Statecharts and Their Implementations.
Abstract not provided.
Pollard, Samuel↗
Q: A Sound Verification Framework for Statecharts and their Implementations.
Abstract not provided.
Pollard, Samuel↗