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

Fredrik Degerlund

Browse the full DAIS paper archive.