Acta Informatica, ‎0001-5903

Journal

1 - 2 out of 2Page size: 10

Publications

  1. 2016
  2. E-pub ahead of print

    Compositional schedulability analysis of real-time actor-based systems

    Tom Chothia & , 25 Jan 2016, (E-pub ahead of print) In: Acta Informatica. p. 1-36 36 p.

    Research output: Contribution to journal › Article › peer-review

  3. 2015
  4. Published

    Synthesizing efficient systems in probabilistic environments

    David Parker & , May 2015, In: Acta Informatica. 237

    Research output: Contribution to journal › Article › peer-review