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