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 |