Checking behavioural subtypes via refinement
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Hi-index | 0.00 |