Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study

Fredrik Degerlund
12th 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