Sfoglia per Autore
System reliability analysis: a Model-Based approach and a case study in the avionics industry
2011-01-01 Garro, Alfredo; Tundis, A; Chirillo, N.
Developing Service-Oriented Applications: A Method Engineering Based Approach
2011-01-01 Garro, Alfredo; Russo, Wilma; Tundis, A.
PROCE: an agent-based PROcess Composition and execution Environment
2011-01-01 DE LUCA, F; Tundis, A; Garro, Alfredo
Experimenting the RAMSAS method in the reliability analysis of an Attitude Determination and Control System (ADCS)
2012-01-01 Garro, Alfredo; Groß, J.; Riestenpatt, G. E. N. RICHTER M.; Tundis, A.
Modeling and Simulation for System Reliability Analysis: The RAMSAS Method
2012-01-01 Garro, Alfredo; Tundis, A.
A Model-Based method for System Reliability Analysis
2012-01-01 Garro, Alfredo; Tundis, A.
Enhancing the RAMSAS method for System Reliability Analysis: an exploitation in the Automotive Domain
2012-01-01 Garro, Alfredo; Tundis, A.
Enhancing the RAMSAS method for Systems Reliability Analysis through Modelica
2013-01-01 Garro, Alfredo; Tundis, A.
Performing Fault Tree Analysis of a Modelica-based System Design through a Probability Model
2013-01-01 Fritzson, P; Garro, Alfredo; Nyberg, M; ROGOVCHENKO BUFFONI, L; Tundis, A.
Requirement Verification and Dependency Tracing During Simulation in Modelica
2013-01-01 ROGOVCHENKO BUFFONI, L; Fritzson, P; Garro, Alfredo; Tundis, A; Nyberg, M.
From Safety Requirements to Simulation-driven Design of Safe Systems
2013-01-01 Garro, Alfredo; Tundis, A; ROGOVCHENKO BUFFONI, L; Fritzson, P.
Modeling System Requirements in Modelica: Definition and Comparison of Candidate Approaches
2013-01-01 Tundis, A; ROGOVCHENKO BUFFONI, L; Fritzson, P; Garro, Alfredo
Towards Security as a Service (SecaaS): on the modeling of Security Services for Cloud Computing
2014-01-01 Furfaro, Angelo; Garro, Alfredo; Tundis, A.
Modeling and Simulation for the performance evaluation of the on-board communication system of a metro train
2014-01-01 Falcone, A; Garro, Alfredo; Tundis, A.
RAMSAS4Modelica: a Simulation-driven Method for System Dependability Analysis centered on the Modelica language and related tools
2014-01-01 Garro, Alfredo; Tundis, A.
System Dependability Analysis through Platform-Independent Simulation Models
2014-01-01 Tundis, A; Falcone, A; Garro, Alfredo
Reliability Analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method
2014-01-01 Garro, Alfredo; Groß, J.; Riestenpatt, G. E. N. RICHTER M.; Tundis, A.
Formal Requirements Modeling for Simulation-Based Verification
2015-01-01 Otter, M; Thuy, N; Bouskela, D; Buffoni, L; Elmqvist, H; Fritzson, P; Garro, Alfredo; Jardin, A; Olsson, H; Payelleville, M; Schamai, W; Thomas, E; Tundis, A.
An Analytical Processing Approach to Supporting Cyber-Security Compliance Assessment
2015-01-01 Buccafurri, F; Fotia, L; Furfaro, Angelo; Garro, Alfredo; Giacalone, M; Tundis, A.
On the Reliability Analysis of Systems and SoS: The RAMSAS Method and Related Extensions
2015-01-01 Garro, Alfredo; Tundis, A.
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