Publications in collaboration with researchers from University of Waterloo (10)

2017

  1. DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy

    2017 IEEE 25TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW)