会議情報
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 |
閲覧: 18527 追跡: 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 |