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