Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 12 di 12
Titolo Data di pubblicazione Autore(i) File
Inter-Program Properties 1-gen-2009 Andrei Voronkov; Iman Narasamdya
Certification of Smart-Card Applications in Common Criteria: Proving Representation Correspondences 1-gen-2009 Narasamdya, Iman; Michael, Perin
Certification of Smart-Card Applications in Common Criteria 1-gen-2009 Narasamdya, Iman; Michael, Perin
Inter-Program Properties 1-gen-2009 Andrei, Voronkov; Narasamdya, Iman
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
Verifying SystemC: a Software Model Checking Approach 1-gen-2010 Cimatti, Alessandro; Micheli, Andrea; Narasamdya, Iman; Roveri, Marco
An Analytic Evaluation of SystemC Encodings in Promela 1-gen-2011 Daniele Campana; Alessandro Cimatti; Iman Narasamdya; Marco Roveri
Boosting Lazy Abstraction for SystemC with Partial Order Reduction 1-gen-2011 Alessandro Cimatti; Iman Narasamdya; Marco Roveri
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System 1-gen-2012 Cimatti, Alessandro; Raffaele, Corvino; Armando, Lazzaro; Narasamdya, Iman; Tiziana, Rizzo; Roveri, Marco; Angela, Sanseviero; Andrei, Tchaltsev
Verification of Parametric System Designs 1-gen-2012 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Software Model Checking with Explicit Scheduler and Symbolic Threads 1-gen-2012 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Software Model Checking SystemC 1-gen-2013 Cimatti, Alessandro; Narasamdya, Iman; Roveri, Marco
Mostrati risultati da 1 a 12 di 12
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