Sfoglia per Autore Ramadian, Yusi
Mostrati risultati da 1 a 2 di 2
Symbolic Computation of Schedulability Regions using parametric timed automata
2008-01-01 Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study
2010-01-01 Thi Thieu Hoa, Le; Luigi, Palopoli; Roberto, Passerone; Ramadian, Yusi; Cimatti, Alessandro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Symbolic Computation of Schedulability Regions using parametric timed automata | 1-gen-2008 | Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi | |
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study | 1-gen-2010 | Thi Thieu Hoa, Le; Luigi, Palopoli; Roberto, Passerone; Ramadian, Yusi; Cimatti, Alessandro |
Mostrati risultati da 1 a 2 di 2
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