Titlebook: Model Checking Software; 25th International S María del Mar Gallardo,Pedro Merino Conference proceedings 2018 Springer International Publis

children

書目名稱Model Checking Software影響因子(影響力)




書目名稱Model Checking Software影響因子(影響力)學科排名




書目名稱Model Checking Software網(wǎng)絡(luò)公開度




書目名稱Model Checking Software網(wǎng)絡(luò)公開度學科排名




書目名稱Model Checking Software被引頻次




書目名稱Model Checking Software被引頻次學科排名




書目名稱Model Checking Software年度引用




書目名稱Model Checking Software年度引用學科排名




書目名稱Model Checking Software讀者反饋




書目名稱Model Checking Software讀者反饋學科排名

鎮(zhèn)壓

退出可食用

包裹

0302-9743 ain, in June 2018..The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis?of software; formal analysis for modeling languages, such as UML/state charts;?form

燒烤

遠地點

Model Checking Software978-3-319-94111-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

cipher

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/635740.jpg

加入

https://doi.org/10.1007/978-3-319-94111-0Software engineering; Semantics; Model checking; Software evaluation; Specifications; Programming languag

Rct393

3DTI-Net: Learn 3D Transform-Invariant Feature Using Hierarchical Graph CNNeometry information based on local graph representation. Experiments results on various classification and retrieval tasks show that, 3DTI-Net is able to learn 3D feature efficiently and can achieve state-of-the-art performance in rotated 3D object classification and retrieval.

Freeze

Advanced Information and Knowledge Processinghttp://image.papertrans.cn/a/image/151160.jpg