Sciweavers

15155 search results - page 190 / 3031
» System Software
Sort
View
MBEES
2007
15 years 8 months ago
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme
Matthias Gehrke, Martin Hirsch, Wilhelm Schäf...
108
Voted
SPRINGSIM
2008
15 years 8 months ago
A hypervisor-based system for protecting software runtime memory and persistent storage
Prashant Dewan, David Durham, Hormuzd Khosravi, Me...
DAGSTUHL
2006
15 years 8 months ago
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Ed Brinksma, David Harel, Angelika Mader, Perdita ...