Applying formal methods to standard development: the open distributed processing experience

Authors:
Richard O. Sinnott;Kenneth J. Turner
Affiliations:
-;-
Venue:
Computer Standards & Interfaces - Special issue on formal description techniques
Year:
1995

Citing 0
Cited 4

Specification architectures

Formal methods for distributed processing
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm

Computer Standards & Interfaces
Writing and executing ODP computational viewpoint specifications using Maude

Computer Standards & Interfaces
From ODP viewpoint consistency to Integrated Formal Methods

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract