Sciweavers

15727 search results - page 355 / 3146
» Software Engineering - Introduction
Sort
View
EMSOFT
2008
Springer
15 years 6 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...
EMSOFT
2008
Springer
15 years 6 months ago
Cyclic dependencies in modular performance analysis
Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wa...
FASE
2008
Springer
15 years 6 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...