提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/memocode/BozzanoCRKNN09澳大利亚-波扎诺，马尔科AU-亚历山德罗·西马蒂AU-马可·罗维里AU-Katoen，Joost-PieterAU-阮，越南澳大利亚-诺尔，托马斯TI-可靠系统的协同设计：一种基于组件的建模语言。BT-2009年7月13日至15日在美国马萨诸塞州剑桥举行的第七届ACM/IEEE国际协同设计形式方法和模型会议（MEMOCODE 2009）SP-121EP-130型2009年//DO-10.1109/MEMCOD.2009.5185388UR-（欧元）https://doi.org/10.109/MEMCOD.2009.5185388UR-（欧元）http://dl.acm.org/citation.cfm？id=1715776UR-（欧元）https://www.wikidata.org/entity/Q57801511急诊室-