Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Core Language for Executable Models of Cyber Physical Systems (Work In Progress Report)
 

Summary: A Core Language for Executable Models of Cyber Physical Systems
(Work In Progress Report)
Walid Taha
Halmstad University, Halmstad, Sweden
Rice University, Houston, TX, USA
Walid.Taha@hh.se
Paul Brauner and Robert Cartwright
Rice University, Houston, TX, USA
{polux2000, corky.cartwright}@gmail.com
Veronica Gaspes
Halmstad University, Halmstad, Sweden
Veronica.Gaspes@hh.se
Aaron Ames
University of Texas A&M, College Station, TX, USA
aames@tamu.edu
Alexandre Chapoutot
ENSTA ParisTech, Paris, France
alexandre.chapoutot@ensta-paristech.fr
Abstract-- Recently it was shown that an expressive class of
mathematical equations can be automatically translated into

  

Source: Ames, Aaron - Department of Mechanical Engineering, Texas A&M University

 

Collections: Engineering