A Study of the Electrum and DynAlloy Dynamic Behavior Notations
Article in IEEE Transactions on Software Engineering (September 2023)
The most recent citing publications are shown below. View all 31 publications that cite this research output on Dimensions.
Article in IEEE Transactions on Software Engineering (September 2023)
Conference proceeding (November 2022)
Conference proceeding (October 2020)