Castagnetti, Giovanni
Castagnetti, Giovanni
DIPARTIMENTO DI INFORMATICA
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.007 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.
Solving Parallel Equations with BALM-II
2012-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Mishchenko, A.; Brayton, R.
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. | |
Solving Parallel Equations with BALM-II | 1-gen-2012 | Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, N.; Mishchenko, A.; Brayton, R. |