9 search results - page 1 / 2 » Foundations of a Compositional Interchange Format for Hybrid... |
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
HYBRID
2005
Springer
13 years 10 months ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
FORMATS
2006
Springer
13 years 8 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
JAR
2008
13 years 4 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
NDSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Protocol reverse engineering has often been a manual process that is considered time-consuming, tedious and error-prone. To address this limitation, a number of solutions have rec...