Formal system-level design space exploration

Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet. Formal system-level design space exploration. Concurrency - Practice and Experience, 25(2):250-264, 2013. [doi]

Abstract

Abstract is missing.