Q: A Sound Verification Framework for Statecharts and Their Implementations.
Abstract not provided.
Pollard, Samuel↗
Engineering topics
Hulette, Geoffrey C.
Publications and source records attributed to Hulette, Geoffrey C..
Engineering topics
Publications and source records attributed to Hulette, Geoffrey C..
Abstract not provided.