Abstract Interactions and Interaction Refinement in Model-Driven Design
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
Hi-index | 0.00 |