Acta Informatica, 0001-5903

Journal

Publications

  1. 2016
  2. E-pub ahead of print

    Compositional schedulability analysis of real-time actor-based systems

    Tom Chothia, 25 Jan 2016, In : Acta Informatica. p. 1-36 36 p.

    Research output: Contribution to journalArticle

  3. 2015
  4. Published

    Synthesizing efficient systems in probabilistic environments

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

    Research output: Contribution to journalArticle