Compositional schedulability analysis of real-time actor-based systems. (2017)
Attributed to:
Academic Centre of Excellence in Cyber Security Research - University of Birmingham
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/s00236-015-0254-x
PubMed Identifier: 28529345
Publication URI: http://europepmc.org/abstract/MED/28529345
Type: Journal Article/Review
Volume: 54
Parent Publication: Acta informatica
Issue: 4
ISSN: 0001-5903