Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Reverse Engineering of Middleware for Verification of Robot Control Architectures 1-gen-2014 Khalili, Ali; Natale, Lorenzo; Tacchella, Armando
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
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
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