Sciweavers

16725 search results - page 218 / 3345
» Engineering Software Correctness
Sort
View
CODES
1996
IEEE
15 years 7 months ago
Speed-up estimation for HW/SW-systems
Wolfram Hardt, Wolfgang Rosenstiel
99
Voted
COMPSAC
1996
IEEE
15 years 7 months ago
Coordination of Systems with Real-Time Properties in Manifold
George A. Papadopoulos, Farhad Arbab
127
Voted
AMAST
1997
Springer
15 years 7 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
ARCS
1997
Springer
15 years 7 months ago
Kapselung mobiler Programme
Lars Reuther, Hermann Härtig