Sfoglia per Rivista ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Mostrati risultati da 1 a 2 di 2
Automated Reuse of Model Transformations through Typing Requirements Models
2019-01-01 De Lara, Juan; Guerra, Esther; Di Ruscio, Davide; Di Rocco, Juri; Sanchez Cuadrado, Jesús; Iovino, Ludovico; Pierantonio, Alfonso
Verification of Distributed Systems via Sequential Emulation
2022-01-01 Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Automated Reuse of Model Transformations through Typing Requirements Models | 1-gen-2019 | De Lara, Juan; Guerra, Esther; Di Ruscio, Davide; Di Rocco, Juri; Sanchez Cuadrado, Jesús; Iovino, Ludovico; Pierantonio, Alfonso | |
Verification of Distributed Systems via Sequential Emulation | 1-gen-2022 | Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar |
Mostrati risultati da 1 a 2 di 2
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