Different FDT's Confronted with Different ODP-Viewpoints of the Trader

Authors:
Joachim Fischer;Andreas Prinz;Andreas Vogel
Affiliations:
-;-;-
Venue:
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Year:
1993

Citing 0
Cited 5

Issues in formal methods

Formal methods for distributed processing
Finite state machine based: SDL

Formal methods for distributed processing
Viewpoints modelling

Formal methods for distributed processing
From ODP viewpoint consistency to Integrated Formal Methods

Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract