Grupo del I3A
TIME-SENSITIVE SYSTEMS AND PERFORMANCE (TSSP)
The TSSP GaZ’s team addresses the design, analysis, and verification of systems with strict 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 Systems (RTS). Although RTS constitute its classical core, the timing measurement and characterization, formal … Leer más
