Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 12 di 12
Titolo Data di pubblicazione Autore(i) File
Supporting Requirements Validation: The EuRailCheck Tool 1-gen-2009 Cavada, Roberto; Cimatti, Alessandro; Mariotti, Alessandro; Mattarei, Cristian; Micheli, Andrea; Mover, Sergio; Pensallorto, Marco; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
Model Checking and Safety Assessment of Altarica models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Efficient Analysis of Reliability Architectures via Predicate Abstraction 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
Automated Analysis of Reliability Architectures 1-gen-2013 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian
Formal Safety Assessment via Contract-Based Design. 1-gen-2014 Bozzano, Marco; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano
Safety Assessment of AltaRica Models via Symbolic Model Checking 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Oleg, Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Comparing Different Functional Allocations in Automated Air Traffic Control Design 1-gen-2015 Mattarei, Cristian; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Tonetta, Stefano; Rozier, Kristin Yvonne
Efficient Anytime Techniques for Model-Based Safety Analysis 1-gen-2015 Bozzano, Marco; Cimatti, Alessandro; Griggio, Alberto; Mattarei, Cristian
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 1-gen-2016 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
The xSAP Safety Analysis Platform 1-gen-2016 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Formal reliability analysis of redundant architectures 1-gen-2019 Bozzano, M.; Cimatti, A.; Mattarei, C.
Model-based Safety Assessment of a Triple Modular Generator with XSAP 1-gen-2021 Bozzano, Marco; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Jones, David; Mattarei, Cristian
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