Ramadian, Yusi
Ramadian, Yusi
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.011 secondi).
Enabling Parametric Feasibility Analysis in Real-time Calculus Driven Performance Evaluation
2011-01-01 Simalatsar, Alena; Ramadian, Yusi; Lampka, K.; Perathoner, S.; Passerone, Roberto; Thiele, L.
Modeling a distributed Heterogeneous Communication System using Parametric Timed Automata
2010-01-01 Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Ramadian, Yusi
Parametric Analysis of Distributed Firm Real-Time Systems: A Case Study
2010-01-01 Le, Thi Thieu Hoa; Palopoli, Luigi; Passerone, Roberto; Ramadian, Yusi; Cimatti, Alessandro
Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata
2012-01-01 Ramadian, Yusi