42 search results - page 9 / 9 » Exploiting refactoring in formal verification |
ENTCS
2006
13 years 4 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
DAC
2007
ACM
13 years 8 months ago
2007
ACM
A growing number of networked applications is implemented on increasingly complex automotive platforms with several bus standards and gateways. Together, they challenge the automo...