Browse wiki
From CERES
Jump to:
navigation
,
search
Aaron Ames
This page has no properties.
hide properties that link here
Publications:A Core Language for Executable Models of Cyber Physical Systems : work in progress report
+
,
Publications:A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report)
+
,
Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
+
,
Publications:Mathematical Equations as Executable Models of Mechanical Systems
+
Author
Enter the name of the page to start browsing from.
Navigation menu
Views
Special page
Personal tools
Log in
Home
Research
Research Areas
Application Areas
Research Projects
Publications
Education
Courses
Subject areas
Student Projects
Partners
Industrial
Academic
People
Personnel
Alumni
Contact
Contact CERES
Links
CAISR
Halmstad University
School of IDE
Search
Tools
Special pages