AAAAAA

   
Results: 1-7 |
Results: 7
FEATURE INTERACTIONS IN TELECOMMUNICATIONS SOFTWARE
Authors: DINI P LOGRIPPO L
Citation: P. Dini et L. Logrippo, FEATURE INTERACTIONS IN TELECOMMUNICATIONS SOFTWARE, Computer networks and ISDN systems, 30(15), 1998, pp. 1359-1362
FORMAL SPECIFICATION AND USE CASE GENERATION FOR A MOBILE TELEPHONY SYSTEM
Authors: TUOK R LOGRIPPO L
Citation: R. Tuok et L. Logrippo, FORMAL SPECIFICATION AND USE CASE GENERATION FOR A MOBILE TELEPHONY SYSTEM, Computer networks and ISDN systems, 30(11), 1998, pp. 1045-1063
STRUCTURAL MODELS FOR SPECIFYING TELEPHONE SYSTEMS
Authors: FACI M LOGRIPPO L STEPIEN B
Citation: M. Faci et al., STRUCTURAL MODELS FOR SPECIFYING TELEPHONE SYSTEMS, Computer networks and ISDN systems, 29(4), 1997, pp. 501-528
FORMAL METHODS AFTER 15 YEARS - STATUS AND TRENDS A PAPER-BASED ON CONTRIBUTIONS OF THE PANELISTS AT THE FORMAL-TECHNIQUE-95 CONFERENCE, MONTREAL, OCTOBER 1995
Authors: COURTIAT JP DEMBINSKI P HOLZMANN GJ LOGRIPPO L RUDIN H ZAVE P
Citation: Jp. Courtiat et al., FORMAL METHODS AFTER 15 YEARS - STATUS AND TRENDS A PAPER-BASED ON CONTRIBUTIONS OF THE PANELISTS AT THE FORMAL-TECHNIQUE-95 CONFERENCE, MONTREAL, OCTOBER 1995, Computer networks and ISDN systems, 28(13), 1996, pp. 1845-1855
GROUP COMMUNICATION MODELS
Authors: FAROOQUI K LOGRIPPO L
Citation: K. Farooqui et L. Logrippo, GROUP COMMUNICATION MODELS, Computer communications, 19(14), 1996, pp. 1276-1288
THE ISO REFERENCE MODEL FOR OPEN DISTRIBUTED-PROCESSING - AN INTRODUCTION
Authors: FAROOQUI K LOGRIPPO L DEMEER J
Citation: K. Farooqui et al., THE ISO REFERENCE MODEL FOR OPEN DISTRIBUTED-PROCESSING - AN INTRODUCTION, Computer networks and ISDN systems, 27(8), 1995, pp. 1215-1229
SPECIFYING TELEPHONE SYSTEMS IN LOTOS
Authors: BOUMEZBEUR R LOGRIPPO L
Citation: R. Boumezbeur et L. Logrippo, SPECIFYING TELEPHONE SYSTEMS IN LOTOS, IEEE communications magazine, 31(8), 1993, pp. 38-45
Risultati: 1-7 |