Skip to content
cs-conference-ranking.org

Verifiable Parameterised Behaviour Models - For Robotic and Embedded Systems.

Vladimir Estivill-Castro, Ren Hexel

VenueCMODELSWARD
Year2018
ProceedingsMODELSWARD
DBLP recordconf/modelsward/Estivill-Castro18 ↗

Browse the full MODELSWARD paper archive.