会议信息
FMCO 2011: International Symposium on Formal Methods for Components and Objects
http://fmco.liacs.nl/fmco11.html截稿日期: |
|
通知日期: |
2011-09-07 |
会议日期: |
2011-10-03 |
会议地点: |
Turin, Italy |
届数: |
10 |
浏览: 17390 关注: 0 参加: 0
征稿
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 | |
| c | b4 | FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2022-05-05 | 2022-06-24 | 2022-09-14 | |
| b | b1 | iFM | International Conference on integrated Formal Methods | 2022-02-11 | 2022-03-18 | 2022-06-07 | |
| b | b2 | SERVICES | World Congress on Services | 2021-04-15 | 2021-06-17 | 2021-09-05 | |
| c | b | b1 | ICICS | International Conference on Information and Communications Security | 2025-05-23 | 2025-07-21 | 2025-10-29 |
| c | b | b1 | TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-01-06 | 2012-03-02 | 2012-05-29 |
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2025-04-20 | 2025-07-01 | 2025-10-06 | |
| c | WCOP | International Doctoral Symposium on Components and Architecture | 2015-01-25 | 2015-02-16 | 2015-05-04 | ||
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 | |
| c | b1 | FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-02-11 | 2013-03-18 | 2013-06-03 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| ICFEM | International Conference on Formal Engineering Methods | 2025-11-10 |
| FMICS | International Conference on Formal Methods for Industrial Critical Systems | 2022-09-14 |
| iFM | International Conference on integrated Formal Methods | 2022-06-07 |
| SERVICES | World Congress on Services | 2021-09-05 |
| ICICS | International Conference on Information and Communications Security | 2025-10-29 |
| TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-05-29 |
| FMCAD | Formal Methods in Computer-Aided Design | 2025-10-06 |
| WCOP | International Doctoral Symposium on Components and Architecture | 2015-05-04 |
| FM | International Symposium on Formal Methods | 2026-05-18 |
| FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-06-03 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| c | Logical Methods in Computer Science | Logical Methods in Computer Science | 1860-5974 | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| c | International Journal of Information and Computer Security | Inderscience | 1744-1765 | |
| c | Information Management & Computer Security | Emerald | 0968-5227 | |
| IEEE Wireless Communications Letters | 4.600 | IEEE | 2162-2337 | |
| a | Information and Computation | 0.800 | Elsevier | 0890-5401 |
| Foundations of Computational Mathematics | 2.500 | Springer | 1615-3375 | |
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell | 0271-2091 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Logical Methods in Computer Science | Logical Methods in Computer Science | |
| Formal Aspects of Computing | 1.400 | ACM |
| Formal Methods in System Design | 0.700 | Springer |
| Mathematical Methods of Operations Research | 0.900 | Springer |
| International Journal of Information and Computer Security | Inderscience | |
| Information Management & Computer Security | Emerald | |
| IEEE Wireless Communications Letters | 4.600 | IEEE |
| Information and Computation | 0.800 | Elsevier |
| Foundations of Computational Mathematics | 2.500 | Springer |
| International Journal for Numerical Methods in Fluids | 1.700 | Wiley-Blackwell |