9 papers:
CAiSE-1997-McBrien #design #distributed- Design of Distributed Applications based on the OSI Model (PM), pp. 363–373.
SAC-1996-Shim #network- Developing a managed system in the OSI network management (YCS), pp. 88–92.
ISSTA-1996-BarjaktarovicCJ #functional #kernel #protocol #specification #using #verification- Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS (MB, SKC, KJ), pp. 270–279.
ECOOP-1993-Ashford- The OSI Managed-Object Model (CA), pp. 185–196.
- SAC-1993-Millen #communication
- OSI Group Communication Support for a Date Planning Application (WFM), pp. 714–720.
IWPTS-1992-Briere #testing- Testing in Practice — OSI Test Center (MHLB), pp. 19–29.
- IWPTS-1992-RoblesMH #consistency #specification #testing
- Specification and Derivation of OSI Conformance Test Suites (TR, JAM, GH), pp. 177–188.
- IWPTS-1991-HavenKS #testing
- Real Effects Testing of OSI Applications (MEvdH, MGLK, EJS), pp. 107–117.
- IWPTS-1991-HordiesS #concept #testing
- OPEN ITS: An Advanced Concept of an Open Test Environment for the Testing of OSI-based Products (MH, SS), pp. 179–193.
