会议信息
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 |
推荐