消费电子
消費電子
소비전자
CHINA THIS WEEK IN CONSUMER ELECTRONICS
2013年
8期
64-64
,共1页
SPIN%特点%模型检测%工作原理
SPIN%特點%模型檢測%工作原理
SPIN%특점%모형검측%공작원리
SPIN模型检测主要是用来检测分布式软件系统的,目前被普遍用于庞大而复杂的软件系统验证上。本文主要介绍了SPIN模型检测的发展历程、主要特点、基本结构和工作原理。
SPIN模型檢測主要是用來檢測分佈式軟件繫統的,目前被普遍用于龐大而複雜的軟件繫統驗證上。本文主要介紹瞭SPIN模型檢測的髮展歷程、主要特點、基本結構和工作原理。
SPIN모형검측주요시용래검측분포식연건계통적,목전피보편용우방대이복잡적연건계통험증상。본문주요개소료SPIN모형검측적발전역정、주요특점、기본결구화공작원리。