Sciweavers

16725 search results - page 213 / 3345
» Engineering Software Correctness
Sort
View
98
Voted
APSEC
1997
IEEE
15 years 7 months ago
Design by Contract for Python
Reinhold Plösch
CODES
1997
IEEE
15 years 7 months ago
An Approach to Mixed Systems Co-Synthesis
Thomas Benner, Rolf Ernst
81
Voted
CODES
1997
IEEE
15 years 7 months ago
An Event-Driven Multi-Threading Architecture for Embedded Systems
Reinhard Gerndt, Rolf Ernst