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.

From Requirements to Verifiable Executable Models Using Rebeca

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam. From Requirements to Verifiable Executable Models Using Rebeca. In Loek Cleophas, Mieke Massink, editors, Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops - ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 14-15, 2020, Revised Selected Papers. Volume 12524 of Lecture Notes in Computer Science, pages 67-86, Springer, 2020. [doi]

Authors

Marjan Sirjani

This author has not been identified. It may be one of the following persons: Look up 'Marjan Sirjani' in Google

Luciana Provenzano

This author has not been identified. Look up 'Luciana Provenzano' in Google

Sara Abbaspour Asadollah

This author has not been identified. Look up 'Sara Abbaspour Asadollah' in Google

Mahshid Helali Moghadam

This author has not been identified. Look up 'Mahshid Helali Moghadam' in Google
runs on