SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems.

Autor:	Xie, Jian1,2,3 (AUTHOR) xiejian_5@nuaa.edu.cn, Tan, Wenan1,2,3 (AUTHOR), Yang, Zhibin1,2,3 (AUTHOR), Li, Shuming1,2 (AUTHOR), Xing, Linquan1,2 (AUTHOR), Huang, Zhiqiu1,2,3 (AUTHOR)
Zdroj:	Connection Science. Dec2022, Vol. 34 Issue 1, p911-941. 31p.
Databáze:	Academic Search Ultimate
Externí odkaz:	Zobrazit plný text záznamu Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.