Sciweavers

15253 search results - page 202 / 3051
» Integer-Programming Software Systems
Sort
View
MBEES
2007
15 years 7 months ago
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme
Matthias Gehrke, Martin Hirsch, Wilhelm Schäf...
DAGSTUHL
2006
15 years 7 months ago
06351 Abstracts Collection -- Methods for Modelling Software Systems (MMOSS)
Ed Brinksma, David Harel, Angelika Mader, Perdita ...
FECS
2006
106views Education» more  FECS 2006»
15 years 7 months ago
A Software System for Secure Computer Aided Exams
Erden Basar, Bulent Genc