Sfoglia per Serie
Verification of Railway Interlocking - Compositional Approach with OCRA
2016-01-01 Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano
The xSAP Safety Analysis Platform
2016-01-01 Bittner, Benjamin; Bozzano, Marco; Cavada, Roberto; Cimatti, Alessandro; Gario, Marco Elio Gustavo; Griggio, Alberto; Mattarei, Cristian; Micheli, Andrea; Zampedri, Gianni
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Verification of Railway Interlocking - Compositional Approach with OCRA | 1-gen-2016 | Christophe, Limbrée; Quentin, Cappart; Charles, Pecheur; Tonetta, Stefano | |
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 |
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