机译:美国食品药品监督管理局医疗器械不良事件报告2008年3月4日至2012年1月26日制造商和用户设施器械经验(MAUDE)数据库-FDA不良事件报告在STERRAD〜R上从2008年3月4日到2012年1月26日
机译:Sterrad〜R.公司食品和制药部的稻米食品和制药。在2008年3月4日和2012年1月26日之间的Sterrad〜R
机译:用于指定实时系统的模型转换方法及其使用RT-maude的验证
机译:在Biagents *和Maude的基础上正式建模IOT系统
机译:玩:在Maude Veilleux的自我或文学中的表现
机译:心脏和心包填塞术作为静脉腔滤器的并发症:已发表文献和MAUDE数据库的系统评价
机译:Maude云计算系统的正式设计