《International Journal On Software Tools For Technology Transfer》雜志的最新年發(fā)文量為42篇。
這表明該刊在每年都會精選并發(fā)表一定數(shù)量的高質(zhì)量文章，以保持其在計算機：軟件工程領(lǐng)域的學術(shù)影響力。
該刊聚焦于計算機科學-計算機：軟件工程領(lǐng)域的前沿研究，致力于推動該領(lǐng)域新技術(shù)和新知識的傳播與應(yīng)用。同時它積極鼓勵研究人員詳細發(fā)表其高質(zhì)量的實驗研究和理論成果。
該刊的平均審稿周期約為 。
International Journal On Software Tools For Technology Transfer 雜志發(fā)文統(tǒng)計
文章名稱引用次數(shù)
- Mining parametric temporal logic properties in model-based design for cyber-physical systems4
- Spatio-temporal model checking of vehicular movement in public transport systems4
- Formal modeling and analysis of ad hoc Zone Routing Protocol in Event-B3
- Exact finite-state machine identification from scenarios and temporal properties2
- Towards formal methods diversity in railways: an experience report with seven frameworks2
- First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 20142
- Reliable benchmarking: requirements and solutions2
- Automated translation of VDM to JML-annotated Java2
- Combining sequentialization-based verification of multi-threaded C programs with symbolic Partial Order Reduction2
- Symmetry reduction in CSP model checking2
國家/地區(qū)發(fā)文量
- GERMANY (FED REP GER)36
- France28
- USA18
- England16
- Italy16
- Canada11
- Austria9
- Czech Republic9
- Denmark9
- Netherlands9
