3 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
Refinado por:
autor:
Flammini, Francesco
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
A MULTIFORMALISM MODULAR APPROACH TO ERTMS/ETCS FAILURE MODELINGFLAMMINI, FRANCESCO ; MARRONE, STEFANO ; IACONO, MAURO ; MAZZOCCA, NICOLA ; VITTORINI, VALERIAInternational journal of reliability, quality, and safety engineering, 2014-02, Vol.21 (1), p.1450001-1-1450001-29 [Periódico revisado por pares]Singapore: World Scientific Publishing CompanyTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
ERTMS/ETCS Virtual Coupling: Proof of Concept and Numerical AnalysisDi Meo, Carlo ; Di Vaio, Marco ; Flammini, Francesco ; Nardone, Roberto ; Santini, Stefania ; Vittorini, ValeriaIEEE transactions on intelligent transportation systems, 2020-06, Vol.21 (6), p.2545-2556 [Periódico revisado por pares]IEEETexto completo disponível |
| 3 |
Material Type: Ata de Congresso
|
|
Model-driven V&V processes for computer based control systems: A unifying perspectiveFlammini, Francesco ; Marrone, Stefano ; Mazzocca, Nicola ; Nardone, Roberto ; Vittorini, ValeriaLeveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies. ISoLA 2012, 2012, p.190Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Assunto
- Engineering (2)
- Ertms/etcs (2)
- Science & Technology (2)
- Technology (2)
- Railways (2)
- Computer Science (1)
- Critical Systems (1)
- Computer Based Control Systems (1)
- Computer-Based System (1)
- Artificial Intelligence (1)
- Cps (1)
- Couplings (1)
- Availability (1)
- Complexity (1)
- Computer And Information Sciences Computer Science (1)
- Automatic Train Control (1)
- Data- Och Informationsvetenskap (1)
- Block Signalling (1)
-
Mais opções
Base de Dados/Biblioteca
- World Scientific Journals (1)
- SpringerLINK Lecture Notes in Computer Science (2012) (1)
- Springer Books (1)
- EBSCOhost Business Source Complete (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- Springer Nature - Springer Computer Science eBooks 2012 English International (1)
- IEEE Electronic Library (IEL) Journals (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 