Sfoglia per Autore
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications
1999-01-01 Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; S., Russo; A., Sergio
An Evolutionary Approach to the Design of Supervision and Control Systems
1999-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI
A Formal Approach for Designing CORBA based Applications
2000-01-01 COEN PORISINI, Alberto; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Multirate Predictive Approach to Orbit Control of Small Spacecraft
2002-01-01 Rossi, MATTEO GIOVANNI; Lovera, Marco
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits
2002-01-01 Rossi, MATTEO GIOVANNI; Lovera, Marco
A formal approach for designing CORBA-based applications
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Formal Approach for Modeling and Verification of RTCORBA-based Applications
2004-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino
Semi-Formal and Formal Models Applied to Flexible Manufacturing Systems
2004-01-01 Matta, Andrea; Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Automated Compositional Proofs for Real-Time Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO
QUACK: a platform for the quality of new generation integrated embedded systems
2005-01-01 M., Pezzè; A., Baldini; G., Denaro; G., Lipari; Rossi, MATTEO GIOVANNI; D., Rogai
A Compositional Framework for Formally Verifying Modular Systems
2005-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
A UML-compatible formal language for system architecture description
2005-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System
2006-01-01 M., Rolando; Rossi, MATTEO GIOVANNI; N., Sanarico; Mandrioli, Dino
A UML 2-compatible language and tool for formal modeling real-time system architectures
2006-01-01 P., Colombo; Pradella, Matteo; Rossi, MATTEO GIOVANNI; G., Sassaroli
Formal verification in analysis and design of production systems
2006-01-01 Spoletini, Paola; Tomasella, Maurizio; Matta, Andrea; Rossi, MATTEO GIOVANNI
Comments on “An Interval Logic for Real-Time System Specification”
2006-01-01 Furia, CARLO ALBERTO; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
2006-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics
2006-01-01 Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
No Need To Be Strict: on the expressiveness of metric temporal logics with (non-)strict operators
2007-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI
Modeling the Environment in Software-Intensive Systems
2007-01-01 Furia, CARLO ALBERTO; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
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