TLM-2 Base Protocol Analysis for Model-Driven Design
Conference proceeding (May 2017)
The most recent citing publications are shown below. View all 35 publications that cite this research output on Dimensions.
Automatic Methods for the Refinement of System Models, From the Specification to the Implementation
Monograph (January 2017)
Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (September 2016)