Sciweavers

15824 search results - page 219 / 3165
» Specialising in Software Engineering
Sort
View
127
Voted
CBSE
2008
Springer
15 years 6 months ago
Model Checking of Control-User Component-Based Parametrised Systems
Pavlína Vareková, Ivana Cerná
MSR
2010
ACM
15 years 6 months ago
Assessment of issue handling efficiency
Bart Luijten, Joost Visser, Andy Zaidman
118
Voted
ASWSD
2006
Springer
15 years 6 months ago
Modeling with the Timing Definition Language (TDL)
Wolfgang Pree, Josef Templ
DICS
2006
15 years 6 months ago
Dependable Systems
André Schiper