Sciweavers

19587 search results - page 48 / 3918
» Systems Engineering for software Engineers
Sort
View
FSTTCS
2000
Springer
15 years 5 months ago
Arithmetic Circuits and Polynomial Replacement Systems
Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner
WCRE
1998
IEEE
15 years 5 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...
107
Voted
RTSE
1997
15 years 5 months ago
Abstraction and Modular Verification of Infinite-State Reactive Systems
Zohar Manna, Michael Colón, Bernd Finkbeine...
EMSOFT
2008
Springer
15 years 3 months ago
State space abstraction for parameterized self-stabilizing embedded systems
Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Pri...