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 126 publications that cite this research output on Dimensions.
Article in IEEE Transactions on Software Engineering (September 2023)
Book chapter (June 2023)
Article in IEEE Control Systems (April 2023)