Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
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 |