132 search results - page 27 / 27 » Ellipsoidal Techniques for Reachability Analysis |
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
SIGSOFT
1995
ACM
13 years 12 months ago
1995
ACM
The notion of a program slice, originally introduced by Mark Weiser, is a fundamental operation for addressing many software-engineering problems, including program understanding,...