Browsing by Subject D2.4: software engineering/software/program verification
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 |