Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 153
Titolo Data di pubblicazione Autore(i) File
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 1993 R. DE NICOLA; FANTECHI A.; GNESI S.; RISTORI G.
Model Checking for Action-based Logics 1994 A. FANTECHI; S. GNESI; G. RISTORI
Object-oriented analysis of COBOL 1997 A. Fantechi;P. Nesi;E. Somma
Transformations and Consistent Semantics for ODP Viewpoints 1997 C. BERNARDESCHI; J. DUSTZADEH; A. FANTECHI; E. NAJM; ET AL.
A Symbolic Model Checker for ACTL 1998 A. Fantechi; S. Gnesi; F. Mazzanti; R. Pugliese; E. Tronci
Formal Verification Environment for Railway Signalling System Design 1998 C. BERNARDESCHI; A. FANTECHI; S. GNESI; S. LAROSA; ET AL.
Formal Methods for Open Object-based Distributed Systems 1999 P. Ciancarini; A. Fantechi; R. Gorrieri
Integrated Validation of Dependable Systems 1999 A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini
Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality 1999 A. FANTECHI; S. GNESI; L. SEMINI
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems 1999 D. POWELL; J. ARLAT; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; A. FANTECHI; E. JENN; C. RABEJAC; A. WELLINGS
Towards a Discipline of System Engineering: Validation of Dependable Systems 1999 A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini
An Integrated and Compositional Approach to Design Validation of Embedded Dependable Systems 2000 A. Bondavalli;A. Fantechi;D. Latella;L. Simoncini
Formally Verifying Fault Tolerant System Designs 2000 C. BERNARDESCHI; A. FANTECHI; L. SIMONCINI
Introduction and Overview (Chapter 1). 2001 D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABEJAC; V. THEVENOT; A. WELLINGS
Formal verification (Chapter 10). 2001 C. BERNARDESCHI; A. FANTECHI; S. GNESI
Introduction and Overview 2001 D. POWELL; A. AMENDOLA; J. ARLAT; B. ATTERMEYER; L. BEUS-DUKIC; A. BONDAVALLI; P. COPPOLA; C. DAMBRA; A. FANTECHI; E. JENN; C. RABÉJAC; V. THEVENOT; A. WELLINGS
Finite Approximations for Model Checking non-finite state processes 2001 N. DE FRANCESCO; A. FANTECHI; S. GNESI; P.INVERARDI
Formal Validation of the GUARDS Inter-consistency Mechanism 2001 C. BERNARDESCHI.; A. FANTECHI; S. GNESI
ESA: an approach to Systems Design by Equation Solving 2001 CARCHIOLO V.; DE FRANCESCO N.; A. FANTECHI; MANGIONI G.
Design Validation of Embedded Dependable Systems 2001 A. BONDAVALLI; A. FANTECHI; D. LATELLA; L. SIMONCINI
Mostrati risultati da 1 a 20 di 153
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