IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 68
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
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 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
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 measurements on the EIN computer network performed at CREI by means of the subnetwork control module 1-gen-1979 Faro, A; Scollo, Giuseppe; Valora, F. file da validare
Distributed processing in a nuclear data acquisition system 1-gen-1981 Anzalone, A; Giustolisi, F; Scollo, Giuseppe file da validare
Il sistema di acquisizione dati del L.N.S. 1-gen-1982 Anzalone, A; Finocchiaro, P; Giustolisi, F; Nicotra, D; Raciti, G; Scollo, Giuseppe; Urso, S. file da validare
SDL and CCS based description of communicating entities 1-gen-1983 Faro, A; Scollo, Giuseppe file da validare
A temporal ordering specification of some session services 1-gen-1984 Carchiolo, Vincenza; Faro, A; Scollo, Giuseppe file da validare
Some topics in the design of the specification language LOTOS 1-gen-1984 Carchiolo, Vincenza; Faro, A.; Minissale, G.; Scollo, Giuseppe file da validare
On the specification in LOTOS of OSI protocols 1-gen-1985 Scollo, Giuseppe; Minissale, F. file da validare
The OSI Transport Service and its Formal Description in LOTOS 1-gen-1985 Scollo, Giuseppe; Pappalardo, Giuseppe; Logrippo, L; Brinksma, E. file da validare
Specification and Implementation of the MONDAN System 1-gen-1985 Scollo, Giuseppe; Anzalone, A; Finocchiaro, P; Giustolisi, F; Raciti, G. file da validare
The characterization of implementation of LOTOS specifications 1-gen-1986 Brinksma, E; Scollo, Giuseppe file da validare
LOTOS in practice 1-gen-1986 Scollo, Giuseppe; Vissers, C. A.; Di Stefano, A. file da validare
A LOTOS Specification of the PROWAY Highway Service 1-gen-1986 Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe file da validare
On the architectural design of the formal specification of the session standards in LOTOS 1-gen-1987 Scollo, Giuseppe; van Sinderen, M. file da validare
Experience with and Future of LOTOS as a Specification Language 1-gen-1987 Brinksma, E; Scollo, Giuseppe; Vissers, C. A. file da validare
LOTOS specifications, their implementations and their tests 1-gen-1987 Brinksma, E; Scollo, Giuseppe; Steenbergen, C. file da validare
Formal Specification in OSI 1-gen-1987 Vissers, C. A.; Scollo, Giuseppe file da validare
Mostrati risultati da 1 a 20 di 68
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