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网络公开度




书目名称Model Checking Software网络公开度学科排名




书目名称Model Checking Software被引频次




书目名称Model Checking Software被引频次学科排名




书目名称Model Checking Software年度引用




书目名称Model Checking Software年度引用学科排名




书目名称Model Checking Software读者反馈




书目名称Model Checking Software读者反馈学科排名

镇压

退出可食用

包裹

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