IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 6 di 6
Titolo Data di pubblicazione Autore(i) File
Combining static and runtime methods to achieve safe standing-up for humanoid robots 1-gen-2016 Leofante, Francesco; Vuotto, Simone; Ábrahám, Erika; Tacchella, Armando; Jansen, Nils
Consistency of property specification patterns with boolean and constrained numerical signals 1-gen-2018 Narizzano, Massimo; Pulina, Luca; Tacchella, Armando; Vuotto, Simone
Poster: Automatic Consistency Checking of Requirements with ReqV 1-gen-2019 Vuotto, Simone; Narizzano, Massimo; Pulina, Luca; Tacchella, Armando
Property specification patterns at work: verification and inconsistency explanation 1-gen-2019 Narizzano, M.; Pulina, L.; Tacchella, A.; Vuotto, S.
Automata based test generation with SpecPro 1-gen-2019 Vuotto, S.; Narizzano, M.; Pulina, L.; Tacchella, A.
Formal Requirements Analysis and Specification-Based Testing in Cyber-Physical Systems 21-gen-2021 Vuotto, Simone
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