Deterministic Executable Models Verified Efficiently at Runtime - An Architecture for Robotic and Embedded Systems.

Vladimir Estivill-Castro, Ren Hexel

Browse the full MODELSWARD paper archive.