MANDRIOLI, DINO

MANDRIOLI, DINO  

DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA  

Mostra records
Risultati 1 - 20 di 128 (tempo di esecuzione: 0.044 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 FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 1-gen-2022 Chiari M.Mandrioli D.Pradella M.
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 Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 1-gen-2006 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 Checker for Operator Precedence Languages 1-gen-2023 Chiari M.Mandrioli D.Pontiggia F.Pradella M.
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 temporal logic for micro- and macro-step-based real-time systems: Foundations and applications 1-gen-2016 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLOFERRUCCI, LUCA
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 +