Sfoglia per Autore  

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