Titlebook: Model Checking Software; 16th International S Corina S. P?s?reanu Conference proceedings 2009 Springer-Verlag Berlin Heidelberg 2009 abstra

credit

書目名稱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讀者反饋學科排名

延期

Conference proceedings 2009e, in June 2009...The 15 revised full papers presented together with 3 tool papers and 4 invited talks were carefully reviewed and selected from 41 submissions. The papers cover theoretical and algorithmic foundations as well as tools for software model checking by addressing theoretical advances an

Apogee

入會

ATP861

LAIR

https://doi.org/10.1007/978-3-642-02652-2abstraction; automatic testing; bisimulation; bug finding; completeness; concurrency; concurrency verifica

新手

flavonoids

Model Checking Software978-3-642-02652-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

parasite

Developing Evaluation Model of Topical Term for Document-Level Sentiment Classificationilable movie review corpus, the experimental results are comparable with the ones published. This is quite encouraging to us and motivates us to further investigate how to develop more effective evaluation models in the future.

改進