142
Voted
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...