Component Substitutability Analysis and Verification Based on Behavior Automata

Autor:	Jing-Zhou Zhang, Yu-Wei Zong, Hong-Min Ren, Le-Qiu Qian, San-Yuan Zhu
Rok vydání:	2011
Předmět:	Theoretical computer science Computer science Component (UML) Algorithm Software Automaton
Zdroj:	Journal of Software. 21:2768-2781
ISSN:	1000-9825
DOI:	10.3724/sp.j.1001.2010.03780
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fd02180e5a4980162b5ae8c433e17035 https://doi.org/10.3724/sp.j.1001.2010.03780 Zobrazit plný text záznamu