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]

Authors

César Cornejo

This author has not been identified. Look up 'César Cornejo' in Google

Germán Regis

This author has not been identified. Look up 'Germán Regis' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google

Marcelo F. Frias

This author has not been identified. Look up 'Marcelo F. Frias' in Google