132 search results - page 27 / 27 » Ellipsoidal Techniques for Reachability Analysis |
80
Voted
EMSOFT
2008
Springer
15 years 21 days 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...
84
Voted
SIGSOFT
1995
ACM
15 years 2 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,...