Conference Information
SSV 2012: International Workshop on Systems Software Verification
http://www.ssv-conference.org/Submission Date: |
|
Notification Date: |
2012-10-19 |
Conference Date: |
2012-11-28 |
Location: |
Sydney, Australia |
Years: |
6 |
Viewed: 14924 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
| Short | Full Name | Conference |
|---|---|---|
| SoftTech | International Conference on Software Technology | 2016-04-22 |
| CCSEA | International Conference on Computer Science, Engineering and Applications | 2023-03-18 |
| ICCCCEE | IEEE Conferece .The International Conference on Communication, Control, Computing, and Electronics Engineering | 2017-01-16 |
| WoWMoM | International Symposium on a World of Wireless, Mobile and Multimedia Networks | 2025-05-27 |
| ICCTA | International Conference on Computer Theory and Applications | 2023-12-16 |
| FIT | International Conference on Frontiers of Information Technology | 2024-12-09 |
| PADS | ACM SIGSIM Conference on Principles of Advanced Discrete Simulation | 2025-06-23 |
| ICCCS | IEEE International Conference on Computing, Communication, and Security | 2020-10-14 |
| COMPSAC | International Computer Software and Applications Conference | 2026-07-07 |
| HPCS' | International Conference on High Performance Computing & Simulation | 2020-10-26 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| Foundations and Trends in Machine Learning | Now Publishers Inc. | 1935-8237 | ||
| Nano Energy | 17.1 | Elsevier | 2211-2855 | |
| Nano Today | 10.9 | Elsevier | 1748-0132 | |
| Analog Integrated Circuits and Signal Processing | 1.200 | Springer | 0925-1030 | |
| Physical Communication | 2.2 | Elsevier | 1874-4907 | |
| IEEE Transactions on Circuits and Systems Part II: Express Briefs | 4.000 | IEEE | 1549-7747 | |
| c | International Journal of Geographical Information Science | 4.300 | Taylor & Francis | 1365-8816 |
| IEEE Open Journal of the Industrial Electronics Society | 5.200 | IEEE | 2644-1284 | |
| IEEE Journal of Emerging and Selected Topics in Industrial Electronics | IEEE | 2687-9735 | ||
| IEEE Wireless Communications | 11.5 | IEEE | 1536-1284 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Foundations and Trends in Machine Learning | Now Publishers Inc. | |
| Nano Energy | 17.1 | Elsevier |
| Nano Today | 10.9 | Elsevier |
| Analog Integrated Circuits and Signal Processing | 1.200 | Springer |
| Physical Communication | 2.2 | Elsevier |
| IEEE Transactions on Circuits and Systems Part II: Express Briefs | 4.000 | IEEE |
| International Journal of Geographical Information Science | 4.300 | Taylor & Francis |
| IEEE Open Journal of the Industrial Electronics Society | 5.200 | IEEE |
| IEEE Journal of Emerging and Selected Topics in Industrial Electronics | IEEE | |
| IEEE Wireless Communications | 11.5 | IEEE |