Sfoglia per Autore
A Temporal Ordering specification of session service,
file da validare1984-01-01 Carchiolo, Vincenza; Faro, Alberto; Scollo, Giuseppe
Some topics in the design of the specification language LOTOS
file da validare1984-01-01 Carchiolo, Vincenza; Faro, A.; Minissale, G.; Scollo, Giuseppe
A temporal ordering specification of some session services
file da validare1984-01-01 Carchiolo, Vincenza; Faro, A; Scollo, Giuseppe
Protocol against service verification,
file da validare1985-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe
Modelling and Specifying a Presentation Protocol by Temporal Ordering
file da validare1985-01-01 Carchiolo, Vincenza; Le Moli, G; Palazzo, Sergio; Pappalardo, Giuseppe
Architecture and Protocols to a measurament instruments local network,
file da validare1985-01-01 Carchiolo, Vincenza; Vita, L.
A LOTOS Specification of the PROWAY Highway Service
file da validare1986-01-01 Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe
The use of LOTOS for the specification and automatic generation of test sequences,
file da validare1986-01-01 Carchiolo, Vincenza; Palazzo, Sergio; Pappalardo, Giuseppe
CCS as a specification and verification technique: a case study and a comparison with temporal logic
file da validare1986-01-01 Carchiolo, Vincenza; Pappalardo, Giuseppe
A tool for the synthesis of discrete controllers for distributed systems
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
Performance analysis of Interacting Parallel Systems by symbolic Simulation
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
An Algebraic calculus for the synthesis of discrete event processes
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
A tool for the automated verification of eccs specifications of osi protocols
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A.
Behavioural Approach to OSI Systems Design
file da validare1988-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe
A Tool for the Performance analysis of Concurrent Systems,
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
BIP systems: A Tool for Protocol Verification
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A.
A Simulator Tool for the Behavioural timed language LIPS
file da validare1988-01-01 Carchiolo, Vincenza
ALICE, A Layer Independent Conformance Equipment
file da validare1988-01-01 Carchiolo, Vincenza; Palazzo, Sergio
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
Sequence generation by ECCS specification for protocol testing
file da validare1989-01-01 Carchiolo, Vincenza; A., Faro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Temporal Ordering specification of session service, | 1-gen-1984 | Carchiolo, Vincenza; Faro, Alberto; 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 |
A temporal ordering specification of some session services | 1-gen-1984 | Carchiolo, Vincenza; Faro, A; Scollo, Giuseppe | file da validare |
Protocol against service verification, | 1-gen-1985 | Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, Giuseppe | 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 |
Architecture and Protocols to a measurament instruments local network, | 1-gen-1985 | Carchiolo, Vincenza; Vita, L. | 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 |
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 |
CCS as a specification and verification technique: a case study and a comparison with temporal logic | 1-gen-1986 | Carchiolo, Vincenza; Pappalardo, Giuseppe | file da validare |
A tool for the synthesis of discrete controllers for distributed systems | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
Performance analysis of Interacting Parallel Systems by symbolic Simulation | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
An Algebraic calculus for the synthesis of discrete event processes | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
A tool for the automated verification of eccs specifications of osi protocols | 1-gen-1988 | Carchiolo, Vincenza; Faro, 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 |
A Tool for the Performance analysis of Concurrent Systems, | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | file da validare |
BIP systems: A Tool for Protocol Verification | 1-gen-1988 | Carchiolo, Vincenza; Faro, A. | file da validare |
A Simulator Tool for the Behavioural timed language LIPS | 1-gen-1988 | Carchiolo, Vincenza | file da validare |
ALICE, A Layer Independent Conformance Equipment | 1-gen-1988 | Carchiolo, Vincenza; Palazzo, Sergio | 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 |
Sequence generation by ECCS specification for protocol testing | 1-gen-1989 | Carchiolo, Vincenza; A., Faro | 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