Sfoglia per Autore
Problematiche di certificazione del software safety-critical: I - Generalità, elicitazione e specifica dei requisiti
1999-01-01 Schreiber, FABIO ALBERTO; Morzenti, ANGELO CARLO
Validation and Verification of the safety Kernel of the Naples subway
1999-01-01 Schreiber, FABIO ALBERTO; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications
1999-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; S., Russo; A., Sergio
Generation of Execution Sequences for Modular Time Critical Systems
2000-01-01 SAN PIETRO, Pierluigi; Morzenti, ANGELO CARLO; Morasca, Sandro
A framework architecture for supervision and control systems
2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
An application of a tool for automated system analysis based on modular specifications
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Supervision and control systems framework
2000-01-01 R., Capobianchi; D., Carcagno; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
Automated Deductive Requirements Analysis of Critical Systems
2001-01-01 A., Gargantini; Morzenti, ANGELO CARLO
Modeling and Analyzing Real-Time CORBA and Supervision & Control Applications
2001-01-01 Mandrioli, Dino; F., Marotta; Morzenti, ANGELO CARLO
Software procurement and methods for specification and validation in the railway transportation industry
2002-01-01 U., Foschi; Giuliani, Marco; Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi
Model-checking TRIO specifications in SPIN
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems
2003-01-01 Luigi, Lavazza; Sandro, Morasca; Morzenti, ANGELO CARLO
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application
2003-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Spoletini, Paola
A Dual Language Approach to the Development of Time Critical Systems with UML
2003-01-01 Luigi, Lavazza; Sandro, Morasca; Morzenti, ANGELO CARLO
The Role of Formal Methods in Software Procurement for the Railway Transportation Industry
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi
Practical Model Checking of LTL with Past
2003-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
A Dual Language Approach to the Development of Time-Critical Systems with UML
2004-01-01 Lavazza, Luigi; S., Morasca; Morzenti, ANGELO CARLO
Automated Compositional Proofs for Real-Time Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
2006-01-01 A., Gargantini; Morzenti, ANGELO CARLO
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