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

children

書(shū)目名稱(chēng)Model Checking Software影響因子(影響力)




書(shū)目名稱(chēng)Model Checking Software影響因子(影響力)學(xué)科排名




書(shū)目名稱(chēng)Model Checking Software網(wǎng)絡(luò)公開(kāi)度




書(shū)目名稱(chēng)Model Checking Software網(wǎng)絡(luò)公開(kāi)度學(xué)科排名




書(shū)目名稱(chēng)Model Checking Software被引頻次




書(shū)目名稱(chēng)Model Checking Software被引頻次學(xué)科排名




書(shū)目名稱(chēng)Model Checking Software年度引用




書(shū)目名稱(chēng)Model Checking Software年度引用學(xué)科排名




書(shū)目名稱(chēng)Model Checking Software讀者反饋




書(shū)目名稱(chēng)Model Checking Software讀者反饋學(xué)科排名

鎮(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

燒烤

遠(yuǎn)地點(diǎn)

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