Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
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
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.
Parametric Real-Time System Feasibility Analysis Using Parametric Timed Automata
2012-01-01 Ramadian, Yusi
Mostrati risultati da 1 a 4 di 4
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