Author:
Gibson Paul,Mermet Bruno,Méry Dominique
Publisher
BCS Learning & Development
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction;Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications;2014
2. Foundations of Heterogeneous Specification;Recent Trends in Algebraic Development Techniques;2003
3. Playing with Abstraction and Refinement for Managing Features Interactions;ZB 2000: Formal Specification and Development in Z and B;2000
4. Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem;Lecture Notes in Computer Science;2000
5. Fair Objects;Object-Oriented Technology and Computing Systems Re-engineering;1999