Q: A Sound Verification Framework for Statecharts and Their Implementations.
Abstract not provided.
Pollard, Samuel↗
Engineering topics
ARMSTRONG, ROBERT
Publications and source records attributed to ARMSTRONG, ROBERT.
Q: A Sound Verification Framework for Statecharts and their Implementations.
Abstract not provided.
Pollard, Samuel↗
Algorithmic Input Generation for More Effective Software Testing.
Abstract not provided.
Epifanovskaya, Laura↗
Algorithmic Input Generation for More Effective Software Testing.
Abstract not provided.
Epifanovskaya, Laura↗