RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 132
Titolo Data di pubblicazione Autori File
An Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A formal approach for designing CORBA-based applications 1-gen-2003 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems 1-gen-2004 MATTA, ANDREAFURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 1-gen-2004 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
Automated Compositional Proofs for Real-Time Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNIMANDRIOLI, DINOMORZENTI, ANGELO CARLO
QUACK: a platform for the quality of new generation integrated embedded systems 1-gen-2005 ROSSI, MATTEO GIOVANNI +
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Compositional Framework for Formally Verifying Modular Systems 1-gen-2005 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
Formal verification in analysis and design of production systems 1-gen-2006 SPOLETINI, PAOLATOMASELLA, MAURIZIOMATTA, ANDREAROSSI, MATTEO GIOVANNI
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 1-gen-2006 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
Comments on “An Interval Logic for Real-Time System Specification” 1-gen-2006 FURIA, CARLO ALBERTOMORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling 1-gen-2006 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
A UML 2-compatible language and tool for formal modeling real-time system architectures 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators 1-gen-2007 FURIA, CARLO ALBERTOROSSI, MATTEO GIOVANNI
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems 1-gen-2007 MATTA, ANDREAROSSI, MATTEO GIOVANNISPOLETINI, PAOLAMANDRIOLI, DINOSEMERARO, QUIRICOTOLIO, TULLIO ANTONIO MARIA
Mostrati risultati da 1 a 20 di 132
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