On the use of metatypes for safe embedded operating system extension

DOI10.1080/17445760600761437zbMath1113.68037OpenAlexW2083844391MaRDI QIDQ3437352

Yann Hodique, Isabelle Simplot-Ryl, Gilles Grimaud

Publication date: 9 May 2007

Published in: International Journal of Parallel, Emergent and Distributed Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/17445760600761437

zbMATH Keywords

safetyembedded systemtype systemextensibility

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25)

This page was built for publication: On the use of metatypes for safe embedded operating system extension