Sciweavers

15951 search results - page 185 / 3191
» Lawful software engineering
Sort
View
COMPSAC
1996
IEEE
15 years 11 months ago
Coordination of Systems with Real-Time Properties in Manifold
George A. Papadopoulos, Farhad Arbab
183
Voted
AMAST
1997
Springer
15 years 11 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
146
Voted
ARCS
1997
Springer
15 years 11 months ago
Kapselung mobiler Programme
Lars Reuther, Hermann Härtig