Cited By
View all- Abushark YThangarajah JHarland JMiller T(2017)A framework for automatically ensuring the conformance of agent designsJournal of Systems and Software10.1016/j.jss.2017.05.098131:C(266-310)Online publication date: 1-Sep-2017
- Abushark YMiller TThangarajah JWinikoff MHarland J(2017)Requirements specification via activity diagrams for agent-based systemsAutonomous Agents and Multi-Agent Systems10.1007/s10458-016-9327-731:3(423-468)Online publication date: 1-May-2017
- García-Magariño I(2015)ABSTURExpert Systems with Applications: An International Journal10.1016/j.eswa.2015.02.02342:12(5287-5302)Online publication date: 15-Jul-2015
- Show More Cited By