Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 226
Titolo Data di pubblicazione Autore(i) File
Algorithms to Pass between Various Protocol Formalizations: from Logical Matrices to Variable Structure Sequential Machine and Viceversa 1-gen-1979 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio file da validare
The architecture of the software implemented by CREI for EIN 1-gen-1979 Le Moli, G; Affò, G; Andreoni, G; Baldini, L; Belloni, A; Boccia, D; Bozzetti, M; Cellamare, E; Consigli, C; Crippa, E; Faro, A; Floro, M; Gambaro, A; Palazzo, Sergio; Radassao, E; Repossi, E; Restelli, R; Riccardi, V; Rossi, P; Scollo, Giuseppe; Zupa, P. file da validare
Some statistical measurements on the European Informatics Network (EIN) 1-gen-1979 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio; Saletti, ; Scollo, Giuseppe file da validare
A Formal Description of the Balanced Link Access Procedure (LAPB) 1-gen-1981 Alfonzetti, Salvatore; Palazzo, Sergio file da validare
Formalization of a X.25 DTE in View of a Mini or Micro Implementation 1-gen-1982 Alfonzetti, Salvatore; Casale, S; Faro, A; Palazzo, Sergio file da validare
A Reference Model for a Protocol Entity 1-gen-1983 Alfonzetti, Salvatore; Ansart, J. P.; Faro, A; Jonsson, B; Le Moli, G; Llopis, A; Martikainen, 0; Palazzo, Sergio; Pehrson, B; Rafiq, O; Simon, D. file da validare
An Approach for Evaluating Formal Description Techniques 1-gen-1985 Ahtiainen, A; Alfonzetti, Salvatore; Chari, V; Daniels, M; Diaz, M; Faro, A; Hansson, H; Juanole, G; Karjalainen, U; Le Moli, G; Malka, J; Palazzo, Sergio; Pereda, O. file da validare
Modelling and Specifying a Presentation Protocol by Temporal Ordering 1-gen-1985 Carchiolo, Vincenza; Le Moli, G; Palazzo, Sergio; Pappalardo, Giuseppe file da validare
The use of LOTOS for the specification and automatic generation of test sequences, 1-gen-1986 Carchiolo, Vincenza; Palazzo, Sergio; Pappalardo, Giuseppe file da validare
ALICE, A Layer Independent Conformance Equipment 1-gen-1988 Carchiolo, Vincenza; Palazzo, Sergio file da validare
An extended algebra for the validation of communication protocols 1-gen-1989 Lombardo, Alfio; Palazzo, Sergio file da validare
On the use of Estelle in the OSI framework 1-gen-1989 Lombardo, Alfio; Morzenti, A; Palazzo, Sergio file da validare
An architecture for a pure ATM metropolitan area network 1-gen-1989 Lombardo, Alfio; Palazzo, Sergio file da validare
The EVA tool, an approach to verify structuring in Estelle specifications 1-gen-1989 Coen, A; Lombardo, Alfio; Palazzo, Sergio file da validare
An efficient synchronization method for dual bus networks 1-gen-1989 Casale, S; Lombardo, Alfio; Palazzo, Sergio file da validare
Immediate recognition of signals in simultaneous transmission of voice and high speed data 1-gen-1989 Casale, Salvatore; LA CORTE, Aurelio; Lombardo, Alfio; Palazzo, Sergio
Design and Characterization of a DSP-Based Data/Voice Statistical Multiplexer for Multimedia ISDN Equipment 1-gen-1990 Casale, Salvatore; LA CORTE, Aurelio; Lombardo, Alfio; Palazzo, Sergio
A Fair Access Protocol for Dual Bus Networks 1-gen-1990 Lombardo, Alfio; Palazzo, Sergio; LA CORTE, Aurelio; Panno, Daniela Giovanna Anna file da validare
Admission control over mixed traffic in ATM networks 1-gen-1990 Lombardo, Alfio; Palazzo, Sergio; Panno, Daniela Giovanna Anna file da validare
A fair featured metropolitan area network 1-gen-1990 Lombardo, Alfio; Palazzo, Sergio; LA CORTE, Aurelio; Panno, Daniela Giovanna Anna
Mostrati risultati da 1 a 20 di 226
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