Cited By
View all- Vařeková PZimmerova BPoetzsch-Heffter A(2007)Subject-observer specification with component-interaction automataProceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering10.1145/1292316.1292325(75-81)Online publication date: 3-Sep-2007
- Zimmerova BVařeková PBeneš NČerná IBrim LSochor J(2007)Component-Interaction Automata Approach (CoIn)The Common Component Modeling Example10.1007/978-3-540-85289-6_7(146-176)Online publication date: 1-Jul-2007