External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines

Silvia Bonfanti, Elvinia Riccobene, Davide Santandrea, Patrizia Scandurra. Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. In Uwe Glässer, José Creissac Campos, Dominique Méry, Philippe A. Palanque, editors, Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Volume 14010 of Lecture Notes in Computer Science, pages 107-115, Springer, 2023. [doi]

Authors

Silvia Bonfanti

This author has not been identified. Look up 'Silvia Bonfanti' in Google

Elvinia Riccobene

This author has not been identified. Look up 'Elvinia Riccobene' in Google

Davide Santandrea

This author has not been identified. Look up 'Davide Santandrea' in Google

Patrizia Scandurra

This author has not been identified. Look up 'Patrizia Scandurra' in Google
runs on