Acta Informatica, 0001-5903
Journal
1 - 2 out of 2Page size: 10
Publications
- 2016
- 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 journal › Article › peer-review
- 2015
- Published
Synthesizing efficient systems in probabilistic environments
David Parker, May 2015, In: Acta Informatica. 237Research output: Contribution to journal › Article › peer-review