Cited By
View all- Ozkaya MKloukinas CSeinturier LAlmeida ECarlson J(2014)Design-by-contract for reusable components and realizable architecturesProceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering10.1145/2602458.2602463(129-138)Online publication date: 27-Jun-2014
- Pop TKeznikl JHosek PMalohlava MBures THnetynka P(2011)Introducing Support for Embedded and Real-Time Devices into Existing Hierarchical Component SystemProceedings of the 2011 Ninth International Conference on Software Engineering Research, Management and Applications10.1109/SERA.2011.14(3-11)Online publication date: 10-Aug-2011
- Bliudze SSifakis J(2010)Causal semantics for the algebra of connectorsFormal Methods in System Design10.1007/s10703-010-0091-z36:2(167-194)Online publication date: 15-Apr-2010
- Show More Cited By