MANDRIOLI, DINO

MANDRIOLI, DINO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 126 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autori File
A class of Grammars Generating Non Counting Languages 1-gen-1979 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
A decidability theorem for a class of vector-addition systems 1-gen-1975 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 1-gen-2004 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Framework for ASTRAL Intra-level Proof Obligations 1-gen-1994 MANDRIOLI, DINO +
A framework architecture for supervision and control systems 1-gen-2000 COEN PORISINI, ALBERTOMANDRIOLI, DINOMORZENTI, ANGELO CARLO +
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 Note on Petri Net Languages 1-gen-1977 MANDRIOLI, DINO
A Petri Net and Logic Approach to the Specification and Verification of Real Time Systems 1-gen-1996 MANDRIOLI, DINOMORZENTI, ANGELO CARLO +
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Unified High-level Petri Net Model for Time Critical Systems 1-gen-1991 GHEZZI, CARLOMANDRIOLI, DINO +
Advances in Object Oriented Software Engineering 1-gen-1992 MANDRIOLI, DINO +
Advertising Formal Methods and Organizing their Teaching: /Yes, but/ … 1-gen-2004 MANDRIOLI, DINO
Algebraic Properties of Operator Precedence Languages 1-gen-1978 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO +
Algebraic properties of structured context-free languages: old approaches and novel developments 1-gen-2009 CRESPI REGHIZZI, STEFANOMANDRIOLI, DINO
An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application 1-gen-2003 MANDRIOLI, DINOMORZENTI, ANGELO CARLOSPOLETINI, PAOLA
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Augmenting Parsers to Support Incrementality 1-gen-1980 GHEZZI, CARLOMANDRIOLI, DINO