Sfoglia per Autore
A Temporal Ordering specification of session service,
file da validare1984-01-01 Carchiolo, Vincenza; Faro, Alberto; Scollo, Giuseppe
A temporal ordering specification of some session services
file da validare1984-01-01 Carchiolo, Vincenza; Faro, A; 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
Architecture and Protocols to a measurament instruments local network,
file da validare1985-01-01 Carchiolo, Vincenza; Vita, L.
Modelling and Specifying a Presentation Protocol by Temporal Ordering
file da validare1985-01-01 Carchiolo, Vincenza; Le Moli, G; Palazzo, Sergio; Pappalardo, Giuseppe
Protocol against service verification,
file da validare1985-01-01 Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; Pappalardo, 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 LOTOS Specification of the PROWAY Highway Service
file da validare1986-01-01 Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe
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
An Algebraic calculus for the synthesis of discrete event processes
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
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
A tool for the automated verification of eccs specifications of osi protocols
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A.
A tool for the synthesis of discrete controllers for distributed 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.
Performance analysis of Interacting Parallel Systems by symbolic Simulation
file da validare1988-01-01 Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe
Formal VLSI Verification Based on LIPS
file da validare1989-01-01 Carchiolo, Vincenza; Malgeri, Michele Giuseppe
Design of parallel software based on ELLIPSe and KES
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 |
| 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 |
| Architecture and Protocols to a measurament instruments local network, | 1-gen-1985 | Carchiolo, Vincenza; Vita, L. | 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 |
| Protocol against service verification, | 1-gen-1985 | Carchiolo, Vincenza; DI STEFANO, Antonella; Faro, A.; 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 |
| 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 LOTOS Specification of the PROWAY Highway Service | 1-gen-1986 | Carchiolo, Vincenza; Faro, A.; Mirabella, Orazio; Pappalardo, Giuseppe; Scollo, Giuseppe | 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 |
| An Algebraic calculus for the synthesis of discrete event processes | 1-gen-1988 | Carchiolo, Vincenza; Faro, A; Malgeri, Michele Giuseppe | 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 |
| A tool for the automated verification of eccs specifications of osi protocols | 1-gen-1988 | Carchiolo, Vincenza; Faro, A. | 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 |
| BIP systems: A Tool for Protocol Verification | 1-gen-1988 | Carchiolo, Vincenza; Faro, A. | 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 |
| Formal VLSI Verification Based on LIPS | 1-gen-1989 | Carchiolo, Vincenza; Malgeri, Michele Giuseppe | file da validare |
| Design of parallel software based on ELLIPSe and KES | 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