Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 9 di 9
Titolo Data di pubblicazione Autore(i) File
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
RAT 1-gen-2005 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
RAT: A tool for formal analysis of requirements 1-gen-2006 Roderick, Bloem; Cimatti, Alessandro; Ingo, Pill; Roveri, Marco; Simone, Semprini; Tchaltsev, Andrei
Rat: A tool for the formal analysis of requirements 1-gen-2007 Roderick, Bloem; Cavada, Roberto; Ingo, Pill; Roveri, Marco; Tchaltsev, Andrei
Diagnostic Information for Realizability 1-gen-2008 Cimatti, Alessandro; Roveri, Marco; Schuppan, Viktor; Tchaltsev, Andrei
On-Board Autonomy via Symbolic Model Based Reasoning 1-gen-2008 Bozzano, Marco; Cimatti, Alessandro; Andrea, Guiotto; Andrea, Martelli; Roveri, Marco; Tchaltsev, Andrei; Yuri, Yushtein
NuGAT 1-gen-2009 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
A Comprehensive Approach to On-Board Autonomy Verification and Validation 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Tchaltsev, Andrei
Mostrati risultati da 1 a 9 di 9
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