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.

Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts

Michael Lienhardt, Ferruccio Damiani, Lorenzo Testa, Gianluca Turin. Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts. In Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, editors, Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Volume 11918 of Lecture Notes in Computer Science, pages 534-537, Springer, 2019. [doi]

Authors

Michael Lienhardt

This author has not been identified. Look up 'Michael Lienhardt' in Google

Ferruccio Damiani

This author has not been identified. Look up 'Ferruccio Damiani' in Google

Lorenzo Testa

This author has not been identified. Look up 'Lorenzo Testa' in Google

Gianluca Turin

This author has not been identified. Look up 'Gianluca Turin' in Google
runs on