MORZENTI, ANGELO CARLO

MORZENTI, ANGELO CARLO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 82 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems 1-gen-2003 MORZENTI, ANGELO CARLO +
A Dual Language Approach to the Development of Time Critical Systems with UML 1-gen-2003 MORZENTI, ANGELO CARLO +
A Dual Language Approach to the Development of Time-Critical Systems with UML 1-gen-2004 LAVAZZA, LUIGIMORZENTI, ANGELO CARLO +
A framework architecture for supervision and control systems 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
A Model Parametric Real-Time Logic 1-gen-1992 MORZENTI, ANGELO CARLOMANDRIOLI, DINOGHEZZI, CARLO
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 1-gen-1996 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A short note on the approximability of the maximum leaves spanning tree problem 1-gen-1994 MORZENTI, ANGELO CARLO +
A Survey and Assessment of Software Process Representation Formalisms 1-gen-1993 GHEZZI, CARLOMORZENTI, ANGELO CARLO +
A Theory of Implementation and Refinement in Timed Petri Nets 1-gen-1998 MORZENTI, ANGELO CARLO +
A tool for automated system analysis based on modular specificationsProceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) 1-gen-1998 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGIMORASCA, SANDRO
An application of a tool for automated system analysis based on modular specifications 1-gen-2000 MORASCA, SANDROMORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
An object-oriented logic language for modular system specification 1-gen-1991 MORZENTI, ANGELO CARLOSAN PIETRO, PIERLUIGI
Analysis of Techniques in the Assessment of Ultra-Reliable Computerized Systems 1-gen-1997 SCHREIBER, FABIO ALBERTOMORZENTI, ANGELO CARLO
Architecture of the Green Move System 1-gen-2017 Bianchessi, Andrea G.Cugola, GianpaoloFormentin, SimoneMorzenti, AngeloOngini, CarloPanigati, EmanueleRossi, MatteoSchreiber, Fabio A.Savaresi, Sergio MatteoTanca, LetiziaVannutelli Depoli, Edoardo G.
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO