Sfoglia per Autore
On the specification of real-time systems using logic programming
1987-01-01 Garzotto, Franca; Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
TRIO a Logic Language for Executable Specifications of Real-time Systems
1990-01-01 Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
An object-oriented logic language for modular system specification
1991-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
A Survey and Assessment of Software Process Representation Formalisms
1993-01-01 P., Armenise; S., Bandinelli; Ghezzi, Carlo; Morzenti, ANGELO CARLO
Executable Specifications with Dataflow Diagrams
1993-01-01 Fuggetta, Alfonso; Ghezzi, Carlo; Mandrioli, Dino; Morzenti, ANGELO CARLO
Validating real-time systems by history-checking TRIO specifications
1994-01-01 Miguel, Felder; Morzenti, ANGELO CARLO
A short note on the approximability of the maximum leaves spanning tree problem
1994-01-01 G., Galbiati; F., Maffioli; Morzenti, ANGELO CARLO
Proving properties of real-time systems through logical specifications and Petri net models
1994-01-01 Felder, M.; Mandrioli, Dino; Morzenti, ANGELO CARLO
Object-oriented logical specification of time-critical systems
1994-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Generating Test Cases for Real-Time Systems from Logic Specifications
1995-01-01 Mandrioli, Dino; Morasca, S.; Morzenti, ANGELO CARLO
Generating functional test cases in-the-large for time-critical systems from logic-based specificationsProceedings of the 1996 international symposium on Software testing and analysis - ISSTA '96
1996-01-01 Sandro, Morasca; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems
1996-01-01 Mandrioli, Dino; Morzenti, ANGELO CARLO; Pezze', M.; SAN PIETRO, P. SILVA S.
On the Approximability of Some Maximum Spanning Tree Problems
1997-01-01 Galbiati, G.; Maffioli, Francesco; Morzenti, ANGELO CARLO
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems
1997-01-01 Schreiber, FABIO ALBERTO; Morzenti, ANGELO CARLO
A Theory of Implementation and Refinement in Timed Petri Nets
1998-01-01 Morzenti, ANGELO CARLO; Felder, Miguel
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)
1998-01-01 Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi; Morasca, Sandro
Dealing with Zero-time Transitions in Axiom Systems
1999-01-01 Gargantini, A.; Mandrioli, Dino; Morzenti, ANGELO CARLO
From formal models to formally-based methods: an industrial experience
1999-01-01 E., Ciapessoni; A., COEN PORISINI; E., Crivelli; Mandrioli, Dino; P., Mirandola; Morzenti, ANGELO CARLO
PROBLEMATICHE DI CERTIFICAZIONE DEL SOFTWARE SAFETY-CRITICAL II - PROGETTO; SVILUPPO E VALUTAZIONE
1999-01-01 Schreiber, FABIO ALBERTO; 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