A formal specification and prototyping language for multi-core system management (2015)

First Author: Alexei Iliasov
Attributed to:  PRiME: Power-efficient, Reliable, Many-core Embedded systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://eprint.ncl.ac.uk/file_store/production/209173/EB1740D6-A501-4CC7-8369-98E100679EA9.pdf

Type: Conference/Paper/Proceeding/Abstract

Volume: 2015

Issue: 2015