Sfoglia per Autore
Mostrati risultati da 1 a 9 di 9
Reliability Analysis of Component-Based Systems with Multiple Failure Modes
2010-01-01 Filieri, Antonio; Ghezzi, Carlo; V., Grassi; Mirandola, Raffaela
MANTra: Towards Model Transformation Testing
2010-01-01 Ciancone, Andrea; Filieri, Antonio; Mirandola, Raffaela
A compositional method for reliability analysis of workflows affected by multiple failure modes
2011-01-01 Distefano, Salvatore; Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela
Self-Adaptive Software Meets Control Theory: A Preliminary Approach Supporting Reliability Requirements
2011-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; Maggio, Martina
KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based Systems
2011-01-01 Ciancone, Andrea; Filieri, Antonio; Drago, MAURO LUIGI; Mirandola, Raffaela; Vincenzo, Grassi
Run-time efficient probabilistic model checking
2011-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
Reliability-driven Dynamic Binding via Feedback Control
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Leva, Alberto; M., Maggio
Conquering Complexity via Seamless Integration of Design-Time and Run-Time Verification
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Mirandola, Raffaela; Tamburrelli, Giordano
A formal approach to adaptive software: Continuous assurance of non-functional requirements
2012-01-01 Filieri, Antonio; Ghezzi, Carlo; Tamburrelli, Giordano
Mostrati risultati da 1 a 9 di 9
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