Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.177-184, ⟨10.1007/978-3-642-30823-9_15⟩
Conference papers
hal-01527642v1
|