Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Dr Alexei Iliasov, Dr Ashur Rafiev, Dr Fei Xia, Rem Gensh, Professor Alexander RomanovskyORCiD, Professor Alex Yakovlev


Publication metadata

Author(s): Iliasov A, Rafiev A, Xia F, Gensh R, Romanovsky A, Yakovlev A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 23rd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2015)

Year of Conference: 2015

Pages: 696-700

Online publication date: 23/04/2015

Acceptance date: 01/12/2014

Date deposited: 22/12/2015

ISSN: 1066-6192

Publisher: IEEE


DOI: 10.1109/PDP.2015.107

Library holdings: Search Newcastle University Library for this item

ISBN: 9781479984909