42: programmable models of computation for a component-based
approach to heterogeneous embedded systems
Sixth ACM International Conference on Generative Programming and
Component Engineering (GPCE'07) [
file]
42: programmable models of computation for a component-based
approach to heterogeneous embedded systems
SYNCHRON07 International Open Workshop on Synchronous
Programming [
file]
Contract-Based Coordination of Hardware Components for the
Development of Embedded Software
COORDINATION'09, the 11th
international conference on Coordination Models and Languages
[
file]
Formal and Executable Contracts for
Transaction-Level Modeling in SystemC
ACM International Conference on Embedded Sofware (EMSOFT09) [
file]