Timed Automata and Logics for Real-Time Systems | Scuola IMT Alti Studi Lucca

TBD

Percorso:

10006

Ore:

20

Professors:

Luca Aceto (Reykjavik University)

Available:

Computational Mechanics

Computer Science

Control Systems