Information and Computation
Behavioural Subtyping Relations for Object-Oriented Formalisms
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Idea: Action Refinement for Security Properties Enforcement
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
B2B protocol construction as a basis for integration architecture configuration
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Hi-index | 0.00 |