Domain-specific scenarios for refinement-based methods

Autor: Snook, Colin, Hoang, Thai Son, Dghaym, Dana, Fathabadi, Asieh Salehi, Butler, Michael
Zdroj: In Journal of Systems Architecture January 2021 112
Databáze: ScienceDirect