BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
test (6)
applic (3)
manag (3)
model (2)
specif (2)

Stem osi$ (all stems)

9 papers:

CAiSECAiSE-1997-McBrien #design #distributed
Design of Distributed Applications based on the OSI Model (PM), pp. 363–373.
SACSAC-1996-Shim #network
Developing a managed system in the OSI network management (YCS), pp. 88–92.
ISSTAISSTA-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.
The OSI Managed-Object Model (CA), pp. 185–196.
SACSAC-1993-Millen #communication
OSI Group Communication Support for a Date Planning Application (WFM), pp. 714–720.
ICTSSIWPTS-1992-Briere #testing
Testing in Practice — OSI Test Center (MHLB), pp. 19–29.
ICTSSIWPTS-1992-RoblesMH #consistency #specification #testing
Specification and Derivation of OSI Conformance Test Suites (TR, JAM, GH), pp. 177–188.
ICTSSIWPTS-1991-HavenKS #testing
Real Effects Testing of OSI Applications (MEvdH, MGLK, EJS), pp. 107–117.
ICTSSIWPTS-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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.