Towards testability-directed Estelle specification of an OSI-IN interface for universal personal communications and multimedia communications | IEEE Conference Publication | IEEE Xplore
[go: up one dir, main page]