TIME-SENSITIVE SYSTEMS AND PERFORMANCE (TSSP)
The TSSP GaZ’s team addresses the design, analysis, and verification of systems with temporal constraints, in which correctness depends not only on the logical result but also on the instant at which it occurs — the property that defines Real-Time…
