Formal methods for distributed processing
Formal methods for distributed processing
A Formal Framework for Viewpoint Consistency
Formal Methods in System Design
Interpreting ODP viewpoint specification: observations from a case study
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
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
Hi-index | 0.00 |