会议信息
WS-FM 2012: International Workshop on Web Services and Formal Methods
http://www.informatik.uni-rostock.de/ws-fm2012/截稿日期: |
|
通知日期: |
2012-07-21 |
会议日期: |
2012-09-06 |
会议地点: |
Tallinn, Estonia |
届数: |
9 |
浏览: 18525 关注: 0 参加: 0
征稿
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| c | b2 | WSE | Web Systems Evolution | 2013-05-10 | 2013-06-28 | 2013-09-27 | |
| c | b4 | SIN | International Conference on Security of Information and Networks | 2024-08-16 | 2024-09-15 | 2024-12-02 | |
| c | b3 | NWeSP | International Conference on Next Generation Web Services Practices | 2012-08-31 | 2012-09-21 | 2012-11-21 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 | |
| c | a | b1 | SCC | International Conference on Services Computing | 2022-03-01 | 2022-04-15 | 2022-07-10 |
| c | b3 | MOBILITY | International Conference on Mobile Services, Resources, and Users | 2022-03-22 | 2022-04-19 | 2022-06-26 | |
| b | a | a1 | ICWS | International Conference on Web Services | 2025-03-10 | 2025-05-06 | 2025-07-07 |
| b | b1 | SEFM | International Conference on Software Engineering and Formal Methods | 2022-06-20 | 2022-08-07 | 2022-09-28 | |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| WSE | Web Systems Evolution | 2013-09-27 |
| SIN | International Conference on Security of Information and Networks | 2024-12-02 |
| NWeSP | International Conference on Next Generation Web Services Practices | 2012-11-21 |
| ICFEM | International Conference on Formal Engineering Methods | 2025-11-10 |
| SCC | International Conference on Services Computing | 2022-07-10 |
| MOBILITY | International Conference on Mobile Services, Resources, and Users | 2022-06-26 |
| ICWS | International Conference on Web Services | 2025-07-07 |
| SEFM | International Conference on Software Engineering and Formal Methods | 2022-09-28 |
| iFM | International Conference on integrated Formal Methods | 2022-06-07 |
| FM | International Symposium on Formal Methods | 2026-05-18 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| International Journal on Web Service Computing | AIRCC | 2230-7702 | ||
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell | 0271-2091 | |
| a | IEEE Transactions on Services Computing | 5.500 | IEEE | 1939-1374 |
| International Journal on Cybernetics & Informatics | AIRCC | 2320-8430 | ||
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| International Journal of Wireless Information Networks | 1.500 | Springer | 1068-9605 | |
| Archives of Computational Methods in Engineering | 12.1 | Springer | 1134-3060 | |
| International Journal of E-Services and Mobile Applications | IGI Global | 1941-627X | ||
| Telematics and Informatics Reports | Elsevier | 2772-5030 | ||
| c | IEEE Transactions on Network and Service Management | 4.700 | IEEE | 1932-4537 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| International Journal on Web Service Computing | AIRCC | |
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell |
| IEEE Transactions on Services Computing | 5.500 | IEEE |
| International Journal on Cybernetics & Informatics | AIRCC | |
| Formal Methods in System Design | 0.700 | Springer |
| International Journal of Wireless Information Networks | 1.500 | Springer |
| Archives of Computational Methods in Engineering | 12.1 | Springer |
| International Journal of E-Services and Mobile Applications | IGI Global | |
| Telematics and Informatics Reports | Elsevier | |
| IEEE Transactions on Network and Service Management | 4.700 | IEEE |