Author:
Fradet Pascal,Métayer Daniel Le,Périn Michaël
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R. Allen and D. Garlan. Formalizing architectural connection. In Proceedings of the 16th International Conference on Software Engineering, pages 71–80. IEEE Computer Society Press, May 1994.
2. M. Bourgois, D. Franklin, and P. Robinson. Applying RM-ODP to the air traffic management domain. EATCHiP Technical Document, Eurocontrol, Brussels, March 1998.
3. H. Bowman, E. Boiten, J. Derrick, and M. Steen. Viewpoint consistency in ODP, a general interpretation. In E. Najm and J.-B. Stefani, editors, Proceedings of the 1st IFIP International Workshop on Formal Methods for Open Object-Based Distributed Systems, pages 189–204. Chapman & Hall, March 1996.
4. S. C. Cheung and J. Kramer. Checking subsystem safety properties in compositional reachability analysis. In Proceedings of the 18th International Conference on Software Engineering, pages 144–154, Berlin-Heidelberg-New York, March 1996. Springer.
5. Lect Notes Comput Sci;E. Jong de,1997
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献