×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [embedded software systems]
Home >
embedded software systems
An Overview of the Ptolemy Project and Actor-Oriented Design Edward A. Lee Professor UC Berkeley Center for Hybrid and embedded software systems OMG Technical.
214 views
Diss Berger Automating Acceptance Tests for Sensor and Actuator Based Systems on the Example of Autonomous Vehicles
27 views
Embedded Software Systems Prof. Brian L. Evans January 21, 2004 .
213 views
Giotto A tool-supported design methodology for developing hard real-time applications Cyber Physical Systems Lab Ramtin Raji Kermani.
215 views
IT Infrastructure for Energy Efficiency in Future Cities: From the Smart Home to the Smart Grid
49 views
Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking Gabor Madl
[email protected]
@isis.vanderbilt.edu.
221 views
Brian Nielsen Kim Guldstrand Larsen Arne Skou
53 views
Software Development Using Executable UML (xUML)
38 views
Automatic Verification of Component-Based Real-Time CORBA Applications
27 views
Advanced Tool Architectures
23 views
Automatic Verification of Component-Based Real-Time CORBA Applications
34 views
< Previous