[ACM Press the 7th ACM & IEEE international conference - Salzburg, Austria (2007.09.30-2007.10.03)] Proceedings of the 7th ACM & IEEE international conference on Embedded software - EMSOFT '07 - The algebra of connectors
- 作者Bliudze, Simon; Sifakis, Joseph
- 文件大小243.30KB
- 发表时间2007
- DOI10.1145/1289927.1289935
同作者推荐
[IEEE 2008 IEEE International Symposium on Software Reliability Engineering (ISSRE) - Seattle, WA, USA (2008.11.10-2008.11.14)] 2008 19th International Symposium on Software Reliability Engineering (ISSRE) - Testing Software Product Lines Using Incremental Test GenerationUzuncaova, Engin; Garcia, Daniel; Khurshid, Sarfraz; Batory, Don · 2008
[ACM Press The 6th Joint Meeting - Dubrovnik, Croatia (2007.09.03-2007.09.07)] The 6th Joint Meeting on European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering companion papers - ESEC-FSE companion '07 - A specification-based approach to testing software product linesUzuncaova, Engin; Garcia, Daniel; Khurshid, Sarfraz; Batory, Don · 2007