Domain-specific scenarios for refinement-based methods

Colin F. Snook, Thai Son Hoang, Dana Dghaym, Asieh Salehi Fathabadi, Michael J. Butler. Domain-specific scenarios for refinement-based methods. Journal of Systems Architecture, 112:101833, 2021. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: