会议信息
SSV 2012: International Workshop on Systems Software Verification
http://www.ssv-conference.org/截稿日期: |
|
通知日期: |
2012-10-19 |
会议日期: |
2012-11-28 |
会议地点: |
Sydney, Australia |
届数: |
6 |
浏览: 9051 关注: 0 参加: 0
相关会议
| 简称 | 全称 | 截稿日期 | 会议日期 |
|---|---|---|---|
| HPCS' | International Conference on High Performance Computing & Simulation | 2020-07-17 | 2020-10-26 |
| COMPSAC | International Computer Software and Applications Conference | 2023-01-31 | 2023-06-26 |
| ICCCS | IEEE International Conference on Computing, Communication, and Security | 2020-08-10 | 2020-10-14 |
| PADS | ACM SIGSIM Conference on Principles of Advanced Discrete Simulation | 2023-01-30 | 2023-06-21 |
| FIT | International Conference on Frontiers of Information Technology | 2016-07-31 | 2016-12-19 |
| ICCTA | International Conference on Computer Theory and Applications | 2021-10-15 | 2021-12-11 |
| WoWMoM | International Symposium on a World of Wireless, Mobile and Multimedia Networks | 2022-12-15 | 2023-06-12 |
| ICCCCEE | IEEE Conferece .The International Conference on Communication, Control, Computing, and Electronics Engineering | 2016-10-30 | 2017-01-16 |
| AIFU | International Conference on Artificial Intelligence and Applications | 2023-03-04 | 2023-03-18 |
| BDIOT' | International Conference on Big Data and Internet of Things | 2022-03-30 | 2022-08-12 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| International journal of Software Engineering & Applications | AIRCC | 0976-2221 | ||
| b | Software Testing, Verification and Reliability | 0.762 | John Wiley & Sons, Ltd | 1099-1689 |
| Software Testing Verification and Reliability | 1.171 | Wiley-Blackwell | 0960-0833 | |
| npj Systems Biology and Applications | Springer | 2056-7189 | ||
| b | The Journal of Systems Architecture: Embedded Software Design | 5.836 | Elsevier | 1383-7621 |
| b | Automated Software Engineering | 1.273 | Springer | 0928-8910 |
| Systems Engineering | 0.848 | Wiley-Blackwell | 1098-1241 | |
| Systems & Control Letters | 2.804 | Elsevier | 0167-6911 | |
| Annals of Software Engineering | Springer | 1022-7091 | ||
| c | Expert Systems with Applications | 6.954 | Elsevier | 0957-4174 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| International journal of Software Engineering & Applications | AIRCC | |
| Software Testing, Verification and Reliability | 0.762 | John Wiley & Sons, Ltd |
| Software Testing Verification and Reliability | 1.171 | Wiley-Blackwell |
| npj Systems Biology and Applications | Springer | |
| The Journal of Systems Architecture: Embedded Software Design | 5.836 | Elsevier |
| Automated Software Engineering | 1.273 | Springer |
| Systems Engineering | 0.848 | Wiley-Blackwell |
| Systems & Control Letters | 2.804 | Elsevier |
| Annals of Software Engineering | Springer | |
| Expert Systems with Applications | 6.954 | Elsevier |
推荐