Sciweavers

4350 search results - page 40 / 870
» Case studies for contract-based systems
Sort
View
66
Voted
DAGSTUHL
2003
15 years 5 months ago
Autonomous Shuttle System Case Study
Holger Giese, Florian Klein
54
Voted
C++
1990
47views more  C++ 1990»
15 years 5 months ago
C++ and Operating Systems Performance: A Case Study
Vincent F. Russo, Peter Madany, Roy H. Campbell
92
Voted
ENTCS
2008
102views more  ENTCS 2008»
15 years 3 months ago
A Case Study in Parallel Verification of Component-Based Systems
Nikola Benes, Ivana Cerná, Jiri Sochor, Pav...