FORMATS
2013
Springer
10 years 8 months ago
2013
Springer
Quantifying the robustness of a real-time system consists in measuring the maximum extension of the timing delays such that the system still satisfies its specification. In this ...