Sciweavers

1938 search results - page 18 / 388
» Dependable Software
Sort
View
GI
2003
Springer
14 years 4 months ago
New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
Sergio Montenegro
DAGSTUHL
2007
14 years 11 days ago
Dependability in Web Software
Sebastian G. Elbaum, Marc Fisher II, Gregg Rotherm...