Sfoglia per Autore
Mostrati risultati da 1 a 3 di 3
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.
Automated synthesis of protocol converters with BALM-II
2015-01-01 Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert; Mishchenko, Alan
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Automated synthesis of protocol converters with BALM-II | 1-gen-2015 | Castagnetti, Giovanni; Piccolo, Matteo; Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert; Mishchenko, Alan |
Mostrati risultati da 1 a 3 di 3
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