Naviga IRIS

Sfoglia per Autore

Ordina per:

In ordine:

Risultati/Pagina

Vai a una voce nell'indice:

O digita l'anno:

Mostrati risultati da 1 a 6 di 6

2014-01-01 Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando

2014-01-01 Khalili, Ali; Natale, Lorenzo; Tacchella, Armando

2014-01-01 Khalili, Ali; Tacchella, Armando

2015-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico

2016-01-01 Khalili, Ali; Narizzano, Massimo; Tacchella, Armando

2017-01-01 Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando

Titolo	Data di pubblicazione	Autore(i)
Engineering approaches and methods to verify software in autonomous systems	1-gen-2014	Cicala, Giuseppe; Khalili, Ali; Metta, Giorgio; Natale, L.; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
Reverse Engineering of Middleware for Verification of Robot Control Architectures	1-gen-2014	Khalili, Ali; Natale, Lorenzo; Tacchella, Armando
Learning Nondeterministic Mealy Machines	1-gen-2014	Khalili, Ali; Tacchella, Armando
Automatic Test-Pattern Generation for Grey-Box Programs	1-gen-2015	Khalili, Ali; Narizzano, Massimo; Tacchella, Armando; Giunchiglia, Enrico
Learning for verification in embedded systems: A case study	1-gen-2016	Khalili, Ali; Narizzano, Massimo; Tacchella, Armando
Learning middleware models for verification of distributed control programs	1-gen-2017	Khalili, Ali; Narizzano, Massimo; Natale, Lorenzo; Tacchella, Armando

Mostrati risultati da 1 a 6 di 6