Toggle Main Menu Toggle Search

Open Access padlockePrints

A formal DSL for multi-core system management

Lookup NU author(s): Dr Alexei Iliasov

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Iliasov A

Editor(s): Alexander Romanovsky, Fuyuki Ishikawa

Publication type: Book Chapter

Publication status: Published

Book Title: Trustworthy Cyber-Physical Systems Engineering

Year: 2016

Pages: 307-335

Print publication date: 28/09/2016

Acceptance date: 02/04/2016

Publisher: CRC Press

Place Published: Boca Raton

URL: https://www.crcpress.com/Trustworthy-Cyber-Physical-Systems-Engineering/Romanovsky-Ishikawa/p/book/9781498742450

DOI: 10.1201/9781315369105

Library holdings: Search Newcastle University Library for this item

ISBN: 9781498742450


Share