提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP：期刊/mam/AgirreEBBGBFEOOPPSTSTBYS21AU-阿吉雷，约塞巴·安多尼澳大利亚-埃特克塞贝里亚，莱尔AU-巴博萨，劳尔澳大利亚-巴萨吉安尼斯，Stylianos澳大利亚-Giantamidis，Georgios澳大利亚-托马斯·鲍尔非盟-法拉利、恩里科澳大利亚-埃斯纳奥拉，米凯尔·拉巴因澳大利亚-瓦内萨奥拉尼约翰尼·奥伯格AU-大卫·佩雷拉非盟-普伦萨，何塞AU-鲁珀特·施利克澳大利亚-斯马尔卡，阿莱斯澳大利亚-瓦尔特·蒂贝蒂澳大利亚-托内塔，斯特凡诺澳大利亚-波扎诺，马尔科AU-亚齐奇，艾哈迈特澳大利亚-贝鲁兹桑乔利TI-VALU3S ECSEL项目：自动化系统安全和安保的验证和确认。JO-微加工。微系统VL-87SP-104349PY-2021/11年/DO-2016年10月10日/J.MICPRO.2021.104349UR-（欧元）https://doi.org/10.1016/j.micpro.2021.104349急诊室-