David Benavides, M. Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong
{"title":"Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)","authors":"David Benavides, M. Leucker, Martin Becker, Rick Rabiser, Karina Villela, Peter Y. H. Wong","doi":"10.1109/SPLC.2011.39","DOIUrl":null,"url":null,"abstract":"This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.","PeriodicalId":278787,"journal":{"name":"2011 15th International Software Product Line Conference","volume":"43 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 15th International Software Product Line Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SPLC.2011.39","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
This workshop will bring together researchers interested in raising the efficiency and the effectiveness of Software Product Line Engineering by applying innovative analysis approaches and formal methods.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
