VTOS: Research on Methodology of "Light-Weight" Formal Design and Verification for Microkernel OS.

Zhenjiang Qian Hao Huang Fangmin Song

Published in: ICICS (2013)

Keyphrases

lightweight
formal methods
engineering design
conceptual framework
building blocks
design methodology
expert systems
user interface
software engineering
formal model
computer vision algorithms
methodological framework