Sciweavers

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