Browsing by Subject D2.5: software engineering/testing and debugging
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2013 | Verifying and comparing finite state machines for systems that have distributed interfaces | Hierons, RM |