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

by Vladimir Estivill-Castro, René Hexel

Published in International Conference on Model-Driven Engineering and Software Development by SCITEPRESS - Science and Technology Publications.

2017   p29-40

Archived Files and Locations

application/pdf  769.0 kB
file_ynvodfa7jbbrjlohsoqmm6eyki
research-repository.griffith.edu.au (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2017
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 4530e3e7-73ad-4fc2-a654-a59aadda525f
API URL: JSON