Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 184
Titolo Data di pubblicazione Autore(i) File
Protocol against service verification, 1-gen-1985 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe file da validare
A specification of a Proway protocol with an algebraic language 1-gen-1986 Mirabella, Orazio; Di Stefano, A; Malgeri, Michele Giuseppe file da validare
LOTOS in practice 1-gen-1986 Scollo, Giuseppe; Vissers, C. A.; Di Stefano, A. file da validare
Toward an automatic system for earthquake investigation 1-gen-1987 Mirabella, Orazio; Di Stefano, A. file da validare
EXPERT SYSTEM FOR MEDICAL DIAGNOSIS 1-gen-1988 Conigliaro, N; Di Stefano, A; Mirabella, Orazio file da validare
On the implementation of a fast PN simulator 1-gen-1988 Mirabella, Orazio; Di Stefano, A. file da validare
On modelling distributed realtime knowledge based systems 1-gen-1988 Di Stefano, A; Faro, A; Mirabella, Orazio file da validare
Behavioural Approach to OSI Systems Design 1-gen-1988 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe file da validare
On PN based tools for parallel processes simulation 1-gen-1989 Di Stefano, A; Mirabella, Orazio file da validare
A MESSAGE PASSING PARALLEL ARCHITECTURE FOR INTENSIVE SIGNAL-PROCESSING 1-gen-1989 Distefano, A; Mirabella, Orazio file da validare
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification 1-gen-1989 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe file da validare
Knowledge Based Protocols for Intelligent Motion Control in Robotics 1-gen-1990 Mirabella, Orazio; Leonardi, A; Di Stefano, A. file da validare
Modeling of Distributed Problem Solving using Logic Modified Petri Nets 1-gen-1990 Di Stefano, A.; Gibilisco, F.; Mirabella, Orazio file da validare
A COMPARISON BETWEEN DATA LINK FUNCTIONALITIES IN FIELD BUS NETWORKS 1-gen-1990 Distefano, A; Mirabella, Orazio file da validare
A MULTI-DSP BASED MONITORING STATION FOR REALTIME DETECTION AND EVALUATION OF EARTHQUAKES 1-gen-1990 Distefano, A; Mirabella, Orazio file da validare
A DYNAMIC ALGORITHM FOR TEST SEQUENCE GENERATION 1-gen-1990 Distefano, A; Mirabella, Orazio file da validare
APPLYING A DSP TO SEISMIC MONITORING 1-gen-1990 Distefano, A; Mirabella, Orazio; Sberna, G. file da validare
Case study in protocol verification 1-gen-1990 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, G. file da validare
Knowledge based, Fault tolerant protocols for simultaneous actions: some process control applications 1-gen-1991 Mirabella, Orazio; Leonardi, A; Di Stefano, A. file da validare
On the use of neural networks for Hamming coding 1-gen-1991 Di Stefano, A; Mirabella, Orazio; DI CATALDO, Giuseppe; Palumbo, Gaetano file da validare
Mostrati risultati da 1 a 20 di 184
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