QQ客服 官方微博 反馈留言

	Probabilistic model checking for reliability and safety analysis of a flexible manufacturing cell
	Zhang, Ding; Zhang, Yingjie; Yu, Mingrang
	2014
关键词	Continuous time Markov chain Flexible manufacturing cell Manufacturing industries Manufacturing process Mean time between failures Probabilistic model checking Reliability and safeties Verification techniques
期号	[db:dc_citation_issue]
DOI	[db:dc_identifier_doi]
页码	3063-3069
会议录	Safety, Reliability and Risk Analysis: Beyond the Horizon - Proceedings of the European Safety and Reliability Conference, ESREL 2013
URL标识	查看原文
ISSN号	9781138001237
WOS记录号	[DB:DC_IDENTIFIER_WOSID]
内容类型	会议论文
URI标识	http://www.corc.org.cn/handle/1471x/3273298
专题	西安交通大学
推荐引用方式 GB/T 7714	Zhang, Ding,Zhang, Yingjie,Yu, Mingrang. Probabilistic model checking for reliability and safety analysis of a flexible manufacturing cell[C]. 见:.

个性服务

查看访问统计

相关权益政策

暂无数据

收藏/分享

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。