Sciweavers

15777 search results - page 284 / 3156
» Engineering in Software
Sort
View
EMSOFT
2009
Springer
16 years 1 months ago
Compositional timing analysis
Ramzi Ben Salah, Marius Bozga, Oded Maler
ISSRE
2008
IEEE
16 years 1 months ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
AC
2003
Springer
15 years 12 months ago
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets
Roberto Bruni, Hernán C. Melgratti, Ugo Mon...
WCRE
2000
IEEE
15 years 11 months ago
Defining, Transforming, and Exchanging High-Level Schemas
o distinct levels of abstraction:
Michael W. Godfrey