Browsing by Subject Non-local choice
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
---|---|---|
2012 | Controllability problems in MSC-based testing | Dan, H; Hierons, RM |
2012 | A framework for pathologies of message sequence charts | Dan, H; Hierons, RM; Counsell, S |