A Study of the Electrum and DynAlloy Dynamic Behavior Notations

César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias. A Study of the Electrum and DynAlloy Dynamic Behavior Notations. IEEE Trans. Software Eng., 49(11):4946-4963, November 2023. [doi]

Abstract

Abstract is missing.