Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 239
Titolo Data di pubblicazione Autore(i) File
Measurements on the Activity of the EIN Matching Unit (EMU) 1-gen-1978 Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe file da validare
M-T Interconnection of Interlocutors in Computer Networks 1-gen-1979 Alfonzetti, Salvatore; Casale, S; Faro, A. file da validare
A Formal Description of the DTE Packet Level in the X.25 Recommendation 1-gen-1979 Alfonzetti, Salvatore; Casale, S; Faro, A. file da validare
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
A Measurement System for the European Informatics Network Implemented on the Multi-microprocessor Interface with Euronet 1-gen-1979 Alfonzetti, Salvatore; Casale, S; Faro, A; Saletti, V; Scollo, Giuseppe 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
X.25 DTE Level 3 Formalization Using the 'Second' Theory of Colloquies 1-gen-1980 Alfonzetti, Salvatore; Casale, S; Faro, A. file da validare
A Formal Description of the Balanced Link Access Procedure (LAPB) 1-gen-1981 Alfonzetti, Salvatore; Palazzo, Sergio file da validare
From Formalization to Implementation of OSI Entities 1-gen-1982 Alfonzetti, Salvatore file da validare
High-Level Programming Language Formalization of the Session Protocol 1-gen-1982 Alfonzetti, Salvatore; Faro, A. file da validare
A Formalization of the Session Protocol 1-gen-1982 Alfonzetti, Salvatore; Faro, A. file da validare
Basic Transport Protocol Formalization by means of Finite State Machines 1-gen-1982 Alfonzetti, Salvatore; Casale, S. 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
Finite State Description of Link State Control in the CCITT Signalling System No. 7 1-gen-1983 Alfonzetti, Salvatore; Casale, S. 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
A Theory of Subprotocols 1-gen-1983 Alfonzetti, Salvatore; Casale, S; Faro, A. file da validare
Integration of Teletex into the ISO Transport and Network Services 1-gen-1984 Alfonzetti, Salvatore; Casale, S. file da validare
A Study of the Teletex Session Integrated into the OSI Architecture 1-gen-1984 Alfonzetti, Salvatore; Casale, S; Lombardo, Alfio file da validare
SDL Formalization of Teletex: the Document Procedures 1-gen-1984 Alfonzetti, Salvatore; Casale, S; Lombardo, Alfio file da validare
A Specification of the DTE Network Entity 1-gen-1984 Alfonzetti, Salvatore; Casale, S; Fleres, S. file da validare
Mostrati risultati da 1 a 20 di 239
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