Sfoglia per Autore
The Design of Distributed, Dependable, Real-time Systems using a Functional Paradigm
1992-01-01 A., Bondavalli; Simoncini, Luca; Bernardeschi, Cinzia
From Data Flow Networks to process Algebras
1993-01-01 A., Bondavalli; Bernardeschi, Cinzia; L., Simoncini
From Constraint-oriented to Resource-oriented Specification of Data-flow Networks
1993-01-01 Bernardeschi, Cinzia; A., Fantechi
An approach to the Analysis of Dataflow Networks by LOTOS
1993-01-01 Bernardeschi, Cinzia
Data-flow Control Systems: An example of Safety Validation
1993-01-01 Bernardeschi, Cinzia; Simoncini, Luca; A., Bondavalli
Data-flow Networks in the Design of Safety-critical Systems
1994-01-01 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
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
Semantic Analysis of Data Flow Control Systems
1994-01-01 Bernardeschi, Cinzia; A., Bondavalli
From Data Flow Networks to Petri Nets
1994-01-01 G., Csertan; Bernardeschi, Cinzia
Using Process Algebras for the Semantic Analysis of Data flow Networks
1995-01-01 Bernardeschi, Cinzia; Bondavalli, A; Simoncini, Luca
Application of Correctness preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications
1995-01-01 Bernardeschi, Cinzia; A., Fantechi; F., Paternò
A Petri Nets Semantics for Data Flow Networks
1995-01-01 Bernardeschi, Cinzia; DE FRANCESCO, Nicoletta; Vaglini, Gigliola
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System
1995-01-01 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
1996-01-01 Fantechi, A; Bernardeschi, Cinzia
Formal Verification of Safety Requirements on Complex Systems
1996-01-01 Bernardeschi, Cinzia; A., Fantechi; S., Gnesi
Analytical Verification of the Design of Fault Tolerant Systems
1996-01-01 Bernardeschi, Cinzia; A., Fantechi; L., Simoncini
Proving safety properties for embedded control systems
1996-01-01 Bernardeschi, Cinzia; Fantechi, A; Gnesi, S; Mongardi, G.
Correctness preserving Transformations between ODP Viewpoints
1997-01-01 Bernardeschi, Cinzia; A., Fantechi; E., Najm; A., Nimour; F., Olsen
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