Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Modelling of Separation Kernel Components

Lookup NU author(s): Dr Andrius Velykis, Dr Leo Freitas


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

Publication metadata

Author(s): Velykis A, Freitas L

Editor(s): Cavalcanti, A.,Deharbe, D., Gaudel, M., Woodcock, J.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Theoretical Aspects of Computing: 7th International Colloquium

Year of Conference: 2010

Pages: 230-244

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer


DOI: 10.1007/978-3-642-14808-8_16

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642148071