IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 145
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
TTL: A LOTOS Extension for Systems Description 1-gen-1996 V., Carchiolo; M., Malgeri; 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
A Modular Approach to Distribuited Control Systems Design 1-gen-1996 V., Carchiolo; M., Malgeri; Mangioni, Giuseppe 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
Algorithm for direct synthesis of formal specifications 1-gen-1997 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, G. file da validare
A Simulator for Embedded Systems Design 1-gen-1998 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe 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
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
Hardware/Software Synthesis of Formal Specifications in Codesign of Embedded Systems 1-gen-2000 Malgeri, Michele Giuseppe; Carchiolo, Vincenza; Mangioni, Giuseppe
Implementing a Distributed Server using Mobile Agent Technology 1-gen-2000 Carchiolo, Vincenza; Malgeri, Michele Giuseppe; Mangioni, Giuseppe file da validare
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
Mostrati risultati da 1 a 20 di 145
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