Sfoglia per Autore
A Formal IDE for Railways: Research Challenges
2023-01-01 Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo
COMPASTA: Integrating COMPASS Functionality into TASTE
2023-01-01 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
COMPASTA = COMPASS + TASTE
2024-01-01 Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Formal IDE for Railways: Research Challenges | 1-gen-2023 | Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Susi, Angelo | |
COMPASTA: Integrating COMPASS Functionality into TASTE | 1-gen-2023 | Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nazaria, Massimo; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni | |
COMPASTA = COMPASS + TASTE | 1-gen-2024 | Bombardelli, Alberto; Bonizzi, Alberto; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Griggio, Alberto; Nicolodi, Edoardo; Tonetta, Stefano; Zampedri, Gianni |
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