Sfoglia per Serie
Reachability computation for hybrid systems with Ariadne
2008-01-01 Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
Robust Stability and Performance of a p-Persistent Communication Protocol
2011-01-01 Blanchini, Franco; Casagrande, Daniele; Montessoro, Pier Luca
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Reachability computation for hybrid systems with Ariadne | 1-gen-2008 | Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano | |
Robust Stability and Performance of a p-Persistent Communication Protocol | 1-gen-2011 | Blanchini, Franco; Casagrande, Daniele; Montessoro, Pier Luca |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile