LANOTTE, RUGGERO Statistiche
LANOTTE, RUGGERO
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Design and Verification of Long-Running Transactions in a Timed Framework
2008-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
Modeling long-running transactions with communicating hierarchical timed automata
2006-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Design and Verification of Long-Running Transactions in a Timed Framework | 1-gen-2008 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. | |
Modeling long-running transactions with communicating hierarchical timed automata | 1-gen-2006 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, Andrea; Milazzo, Paolo; Troina, A. |