Study on Modularized Model Checking Method Based on SPIN

Autor:	Xing-feng Li, Bao-ping Yan, Xin-chang Zhang, Mei-hong Yang
Rok vydání:	2011
Předmět:	Model checking Computer science Electrical and Electronic Engineering Topology Spin-½
Zdroj:	Journal of Electronics & Information Technology. 33:902-907
ISSN:	1009-5896
DOI:	10.3724/sp.j.1146.2010.00751
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::2fb6a1ce7a1e0589099514a7377de1c3 https://doi.org/10.3724/sp.j.1146.2010.00751 Zobrazit plný text záznamu