FDTs for ODP
- 30 September 1995
- journal article
- Published by Elsevier in Computer Standards & Interfaces
- Vol. 17 (5-6) , 457-479
- https://doi.org/10.1016/0920-5489(95)00021-l
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Introduction to the ISO specification language LOTOSPublished by Elsevier ,2003
- Formal description of distributed multimedia systems: an assessment of potential techniquesComputer Communications, 1995
- Conjunction as compositionACM Transactions on Software Engineering and Methodology, 1993
- Precise specification of behavior in object-oriented standardization activitiesComputer Standards & Interfaces, 1993
- A framework based on implementation relations for implementing LOTOS specificationsComputer Networks and ISDN Systems, 1992
- Two standards means problems: A case study on formal protocol descriptionsComputer Standards & Interfaces, 1989