Login / Signup

Derivation of concurrent programs by stepwise scheduling of Event-B models.

Pontus BoströmFredrik DegerlundKaisa SereMarina Waldén
Published in: Formal Aspects Comput. (2014)
Keyphrases
  • concurrent programs
  • scheduling problem
  • real time
  • metamodel
  • computing systems