Searching for authors named "Luigi Logrippo" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Immaturity and Potential of Formal Methods: A personal view
- …Immaturity and potential of formal methods: A personal view Luigi Logrippo School of Information…
- Add To MetaCart
-
Architecture for Open Distributed Systems
- …1 Architecture for Open Distributed Software Systems Kazi Farooqui, Luigi Logrippo Department…
- Add To MetaCart
-
Introduction to ODP Computational Model
- …ODP COMPUTATIONAL MODEL 1 INTRODUCTION TO ODP COMPUTATIONAL MODEL BY KAZI FAROOQUI, LUIGI LOGRIPPO…
- Add To MetaCart
-
Use Case Maps and LOTOS for the Protottyping and Validation of a Mobile Group Call System
- … and Validation of a Mobile Group Call System Daniel Amyot and Luigi Logrippo School of Information Technology…
- Add To MetaCart
-
Reusability at the Early Development Stages of Mobile Wireless Communication Systems
- …, MCD 409, Ottawa, Ontario, K1N 6N5, Canada E-mail: randrade@(email omitted); and Luigi Logrippo TSERG…
- Cited by 4 (2 self) – Add To MetaCart
-
Understanding GPRS: The GSM Packet Radio Service
- …Abstract Understanding GPRS: The GSM Packet Radio Service 1 Brahim Ghribi 2 and Luigi Logrippo 3…
- Cited by 10 (0 self) – Add To MetaCart
-
Status-Oriented Telephone Service Specification: An Exercise in LOTOS Style
- …: An Exercise in LOTOS Style Bernard Stepien and Luigi Logrippo Telecommunications Software Engineering…
- Cited by 4 (1 self) – Add To MetaCart
-
Specifying Hardware Systems In LOTOS
- …-26, 1993} SPECIFYING HARDWARE SYSTEMS IN LOTOS Mohammed Faci and Luigi Logrippo University of Ottawa…
- Cited by 1 (0 self) – Add To MetaCart
-
Specification and Validation of Telephone Systems in LOTOS
- …Specification and Validation of Telephone Systems in LOTOS 1,2 Rezki Boumezbeur and Luigi Logrippo…
- Cited by 1 (0 self) – Add To MetaCart
-
ODP-Based Distributed Platform: Policy-Driven Engineering Support for Mobile and Group-Oriented Distributed Computing
- … Farooqui, Luigi Logrippo, Department of Computer Science, University of Ottawa, Ottawa, K1N 6N5, Canada…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
