Sciweavers

20655 search results - page 301 / 4131
» Exploring Software Systems
Sort
View
EMSOFT
2008
Springer
15 years 8 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
ADAEUROPE
2010
Springer
15 years 7 months ago
Cache-Aware Development of High-Integrity Systems
Enrico Mezzetti, Adam Betts, José Ruiz, Tul...
ADAEUROPE
2010
Springer
15 years 7 months ago
Managing Transactions in Flexible Distributed Real-Time Systems
Daniel Sangorrín, Michael González H...
RE
2006
Springer
15 years 6 months ago
Fusing Quantitative Requirements Analysis with Model-based Systems Engineering
Steven L. Cornford, Martin S. Feather, Vance A. He...