Sfoglia per Autore
Using CIRCAL for real time system specification
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A formal approach to step by step codesign methodology
file da validare1995-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Decomposition and Partitioning in Hardware/Software Codesign
file da validare1996-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
TTL: A LOTOS Extension for Systems Description
file da validare1996-01-01 V., Carchiolo; M., Malgeri; Mangioni, Giuseppe
A Modular Approach to Distribuited Control Systems Design
file da validare1996-01-01 V., Carchiolo; M., Malgeri; Mangioni, Giuseppe
Algorithm for direct synthesis of formal specifications
file da validare1997-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G.
AN APPROACH TO THE SYNTHESIS OF HW AND SW IN CODESIGN
file da validare1997-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G.
How to Evaluate the Performance of an Embedded System through its Formal Specification
file da validare1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
A Simulator for Embedded Systems Design
file da validare1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Synthesis of TTL Specification: A Case Study
1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
An Agent Based Platform for a Service Provider
file da validare1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Formal codesign methodology with multistep partitioning
1998-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Formal Methods in System Design: A Case Study
file da validare1999-01-01 V., Carchiolo; M., Malgeri; Mangioni, Giuseppe
An Experience Using a New Methodology for the Codesign of Embedded Hw/Sw Systems
file da validare1999-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Using a Formal Framework for Agent System Design
file da validare2000-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Extending LOTOS Specifications by Equation Solving
file da validare2000-01-01 Carchiolo, Vincenza; N., DE FRANCESCO; A., Fantechi; Mangioni, Giuseppe
Implementing a Distributed Server using Mobile Agent Technology
file da validare2000-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Hardware/Software Synthesis of Formal Specifications in Codesign of Embedded Systems
2000-01-01 Malgeri, Michele Giuseppe; Carchiolo, Vincenza; Mangioni, Giuseppe
ESA: An Approach to Systems Design by Equation Solving
file da validare2001-01-01 Carchiolo, Vincenza; N., DE FRANCESCO; A., Fantechi; Mangioni, Giuseppe
Using a Formal Framework for Agent System Design
file da validare2001-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Using CIRCAL for real time system specification | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
A formal approach to step by step codesign methodology | 1-gen-1995 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Decomposition and Partitioning in Hardware/Software Codesign | 1-gen-1996 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
TTL: A LOTOS Extension for Systems Description | 1-gen-1996 | V., Carchiolo; M., Malgeri; Mangioni, Giuseppe | file da validare |
A Modular Approach to Distribuited Control Systems Design | 1-gen-1996 | V., Carchiolo; M., Malgeri; Mangioni, Giuseppe | file da validare |
Algorithm for direct synthesis of formal specifications | 1-gen-1997 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G. | file da validare |
AN APPROACH TO THE SYNTHESIS OF HW AND SW IN CODESIGN | 1-gen-1997 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G. | file da validare |
How to Evaluate the Performance of an Embedded System through its Formal Specification | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
A Simulator for Embedded Systems Design | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Synthesis of TTL Specification: A Case Study | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | |
An Agent Based Platform for a Service Provider | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Formal codesign methodology with multistep partitioning | 1-gen-1998 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | |
Formal Methods in System Design: A Case Study | 1-gen-1999 | V., Carchiolo; M., Malgeri; Mangioni, Giuseppe | file da validare |
An Experience Using a New Methodology for the Codesign of Embedded Hw/Sw Systems | 1-gen-1999 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Using a Formal Framework for Agent System Design | 1-gen-2000 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Extending LOTOS Specifications by Equation Solving | 1-gen-2000 | Carchiolo, Vincenza; N., DE FRANCESCO; A., Fantechi; Mangioni, Giuseppe | file da validare |
Implementing a Distributed Server using Mobile Agent Technology | 1-gen-2000 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
Hardware/Software Synthesis of Formal Specifications in Codesign of Embedded Systems | 1-gen-2000 | Malgeri, Michele Giuseppe; Carchiolo, Vincenza; Mangioni, Giuseppe | |
ESA: An Approach to Systems Design by Equation Solving | 1-gen-2001 | Carchiolo, Vincenza; N., DE FRANCESCO; A., Fantechi; Mangioni, Giuseppe | file da validare |
Using a Formal Framework for Agent System Design | 1-gen-2001 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe | file da validare |
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