Sfoglia per Autore
Mostrati risultati da 1 a 4 di 4
Leveraging LLMs to Automate Software Architecture Design from Informal Specifications
2025-01-01 Tagliaferro, Alberto; Corbo, Simone; Guindani, Bruno
Verification-Oriented Specification of Multi-agent Interaction Patterns
2025-01-01 Tagliaferro, A.; Lestingi, L.; Rossi, M.
Towards Verifiable Multi-Agent Interaction Pattern Specification
2024-01-01 Tagliaferro, Alberto; Lestingi, Livia; Rossi, Matteo
Harnessing LLMs for Verification-Guided Specification Repair
2024-01-01 Tagliaferro, Alberto
Mostrati risultati da 1 a 4 di 4
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