Author:
Roshandel Roshanak,Medvidovic Nenad
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Aguirre, N., Maibaum, T.S.E.: A Temporal Logic Approach to Component Based System Specification and Reasoning. In: Proceedings of the 5th ICSE Workshop on Component-Based Software Engineering, Orlando, FL (2002)
2. Lecture Notes in Computer Science;P. America,1991
3. Allen, R., Garlan, D.: A Formal Basis for Architectural Connection. ACM Transactions on Software Engineering and Methodology 6(3), 213–249 (1997)
4. Ashar, P., Gupta, A., Malik, S.: Using complete-1-distinguishability for FSM equivalence checking. ACM Transactions on Design Automation of Electronic Systems 6(4), 569–590 (2001)
5. Balzer, R.: Tolerating Inconsistency. In: Proceedings of 13th International Conference on Software Engineering (ICSE-13), Austin, Texas (1991)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献