Sfoglia per Autore
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm
1992-01-01 A., Bondavalli; Simoncini, Luca; Bernardeschi, Cinzia
Data-flow Control Systems: An example of Safety Validation
1993-01-01 Bernardeschi, Cinzia; Simoncini, Luca; A., Bondavalli
Verfying the Design of Fault Tolerant Systems
1994-01-01 Bernardeschi, Cinzia; A., Fantechi; Simoncini, Luca
Analysis of Temporal Properties of Data Flow Control Systems
1994-01-01 G., Csertan; Bernardeschi, Cinzia; A., Bondavalli; Simoncini, Luca
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study
1994-01-01 Bernardeschi, Cinzia; A., Fantechi; Simoncini, Luca
Data-flow Networks in the Design of Safety-critical Systems
1994-01-01 Bernardeschi, Cinzia; A., Bondavalli; Simoncini, Luca
Using Process Algebras for the Semantic Analysis of Data flow Networks
1995-01-01 Bernardeschi, Cinzia; Bondavalli, A; Simoncini, Luca
Validating the Design of Dependable Systems
1998-01-01 Bernardeschi, Cinzia; A., Fantechi; Simoncini, Luca
Temporal Analysis of Data Flow Control Systems
1998-01-01 Bernardeschi, Cinzia; Bondavalli, A; Csertan, G; Majzik, I; Simoncini, Luca
Atti del Convegno Nazionale su Informatica e Riservatezza
1998-01-01 C., Parodi; Simoncini, Luca; D., Latella; E., Ricciardi; C., Telmon
Towards a Discipline of System Engineering: Validation of Dependable Systems
1999-01-01 A., Bondavalli; A., Fantechi; D., Latella; Simoncini, Luca
Towards a Discipline of System Engineering: Validation of Dependable System Architectures
1999-01-01 Simoncini, Luca
Integrated Validation of Dependable Systems
1999-01-01 A., Bondavalli; A., Fantechi; D., Latella; Simoncini, Luca
Analysis and Validation of Protocols for the Realisation of Distributed Dependable Applications in Wireless Networks
1999-01-01 A., Coccoli; Simoncini, Luca; A., Bondavalli
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems
2000-01-01 A., Bondavalli; A., Fantechi; D., Latella; Simoncini, Luca
Formally verifying fault tolerant system designs
2000-01-01 Bernardeschi, Cinzia; A., Fantechi; Simoncini, Luca
Design Validation of Embedded Dependable Systems
2001-01-01 A., Bondavalli; A., Fantechi; D., Latella; Simoncini, Luca
Hierarchical Modelling of Complex Control Systems: Dependability Analysis of a Railway Interlocking
2001-01-01 A., Bondavalli; G., Mongardi; M., Nelli; Simoncini, Luca
Modelling and Analysis of Dependability and Performance of GPRS Systems
2001-01-01 F., Tataranni; S., Porcarelli; F., DI GIANDOMENICO; A., Bondavalli; Simoncini, Luca
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability
2002-01-01 Simoncini, Luca
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