36 search results - page 8 / 8 » Symbolic Exploration of transition Hierarchies |
TCS
2002
13 years 5 months ago
2002
This paper explores the application of rewriting logic to the executable formal modeling of real-time and hybrid systems. We give general techniques by which such systems can be s...