Sciweavers

15787 search results - page 373 / 3158
» Is Software Engineering Training Enough for Software Enginee...
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...
EMSOFT
2008
Springer
15 years 8 months ago
Cyclic dependencies in modular performance analysis
Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wa...
FASE
2008
Springer
15 years 8 months ago
An Automatic Verifier for Java-Like Programs Based on Dynamic Frames
Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfr...