Castagnetti, Giovanni
Castagnetti, Giovanni
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Automated synthesis of protocol converters with BALM-II
2015-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert; Mishchenko, Alan
Protocol converter synthesis by solving language equations
2012-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Brayton, R; Mishchenko, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automated synthesis of protocol converters with BALM-II | 1-gen-2015 | Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert; Mishchenko, Alan | |
Protocol converter synthesis by solving language equations | 1-gen-2012 | Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Brayton, R; Mishchenko, A. |