Write a Blog >>
RE2021
Mon 20 - Fri 24 September 2021
Nancy Day

Registered user since Tue 14 Nov 2017

Name:Nancy Day
Country:Canada
Affiliation:University of Waterloo, Canada
Research interests:formal methods; MDE; safety

Contributions

RE2021 Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems
Show activities from other conferences

Using general profile