Ramadian, Yusi
Ramadian, Yusi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
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
Symbolic Computation of Schedulability Regions using parametric timed automata
2008-01-01 Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
Symbolic Computation of Schedulability Regions using parametric timed automata | 1-gen-2008 | Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi |