Testing Real-Time Embedded Systems using Timed Automata based approaches

M. Saeed AbouTrab, Michael Brockway, Steve Counsell, Robert Hierons

Research output: Contribution to journalArticlepeer-review

23 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Testing Real-Time Embedded Systems using Timed Automata based approaches'. Together they form a unique fingerprint.

Computer Science