From Requirements to Verifiable Executable Models Using Rebeca.

Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam

Browse the full SEFM paper archive.