GALS-HMP
Article in ACM Transactions on Embedded Computing Systems (March 2013)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
A Predictable Framework for Safety-Critical Embedded Systems
Article in IEEE Transactions on Computers (February 2013)
Embedded Systems Design Based on Formal Models of Computation
Monograph (January 2011)