A core language for executable models of cyber physical systems: work in progress report

Walid Taha, Paul Brauner, Robert Cartwright, VerĂ³nica Gaspes, Aaron Ames, Alexandre Chapoutot. A core language for executable models of cyber physical systems: work in progress report. SIGBED Review, 8(2):39-43, 2011. [doi]

Abstract

Abstract is missing.