Sciweavers

15155 search results - page 190 / 3031
» System Software
Sort
View
MBEES
2007
15 years 7 months ago
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme
Matthias Gehrke, Martin Hirsch, Wilhelm Schäf...
110
Voted
DAGSTUHL
2006
15 years 7 months ago
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Ed Brinksma, David Harel, Angelika Mader, Perdita ...