发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Natal, Brazil (2019.11.19-2019.11.22)] 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Applying Integrated Formal Methods on CPS Design

[IEEE 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Natal, Brazil (2019.11.19-2019.11.22)] 2019 IX Brazilian Symposium on Computing Systems Engineering (SBESC) - Applying Integrated Formal Methods on CPS Design

Misson, Henrique Amaral; Goncalves, Fernando Silvano; Becker, Leandro Buss

作者Misson, Henrique Amaral; Goncalves, Fernando Silvano; Becker, Leandro Buss
文件大小508.11KB
发表时间2019
DOI10.1109/sbesc49506.2019.9046084
页码1-8

← 返回【学霸图书馆】主页