Sfoglia per Autore  

Opzioni
Mostra risultati da 1 a 20 di 130
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
From Data Flow Networks to process Algebras 1-gen-1993 A., Bondavalli; Bernardeschi, Cinzia; L., Simoncini
From Constraint-oriented to Resource-oriented Specification of Data-flow Networks 1-gen-1993 Bernardeschi, Cinzia; A., Fantechi
An approach to the Analysis of Dataflow Networks by LOTOS 1-gen-1993 Bernardeschi, Cinzia
Data-flow Control Systems: An example of Safety Validation 1-gen-1993 Bernardeschi, Cinzia; Simoncini, Luca; A., Bondavalli
Data-flow Networks in the Design of Safety-critical Systems 1-gen-1994 Bernardeschi, Cinzia; A., Bondavalli; Simoncini, Luca
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Study 1-gen-1994 Bernardeschi, Cinzia; A., Fantechi; Simoncini, Luca
Verfying the Design of Fault Tolerant Systems 1-gen-1994 Bernardeschi, Cinzia; A., Fantechi; Simoncini, Luca
Analysis of Temporal Properties of Data Flow Control Systems 1-gen-1994 G., Csertan; Bernardeschi, Cinzia; A., Bondavalli; Simoncini, Luca
Semantic Analysis of Data Flow Control Systems 1-gen-1994 Bernardeschi, Cinzia; A., Bondavalli
From Data Flow Networks to Petri Nets 1-gen-1994 G., Csertan; Bernardeschi, Cinzia
Using Process Algebras for the Semantic Analysis of Data flow Networks 1-gen-1995 Bernardeschi, Cinzia; Bondavalli, A; Simoncini, Luca
Application of Correctness preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications 1-gen-1995 Bernardeschi, Cinzia; A., Fantechi; F., Paternò
A Petri Nets Semantics for Data Flow Networks 1-gen-1995 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System 1-gen-1995 A., Anselmi; Bernardeschi, Cinzia; A., Fantechi; S., Gnesi; S., Larosa; G., Mongardi; F., Torielli
The Application of Formal Methods in the Development and Validation of Railway Control Systems 1-gen-1996 Fantechi, A; Bernardeschi, Cinzia
Formal Verification of Safety Requirements on Complex Systems 1-gen-1996 Bernardeschi, Cinzia; A., Fantechi; S., Gnesi
Analytical Verification of the Design of Fault Tolerant Systems 1-gen-1996 Bernardeschi, Cinzia; A., Fantechi; L., Simoncini
Proving safety properties for embedded control systems 1-gen-1996 Bernardeschi, Cinzia; Fantechi, A; Gnesi, S; Mongardi, G.
Correctness preserving Transformations between ODP Viewpoints 1-gen-1997 Bernardeschi, Cinzia; A., Fantechi; E., Najm; A., Nimour; F., Olsen
Mostra risultati da 1 a 20 di 130
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