会議情報
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 |
閲覧: 18289 追跡: 0 出席: 0
論文募集
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| a | b1 | FM | International Symposium on Formal Methods | 2025-11-25 | 2026-02-06 | 2026-05-18 | |
| c | b1 | ICFEM | International Conference on Formal Engineering Methods | 2025-05-25 | 2025-08-01 | 2025-11-10 | |
| c | b | b1 | ICICS | International Conference on Information and Communications Security | 2025-05-23 | 2025-07-21 | 2025-10-29 |
| c | b1 | FMCAD | Formal Methods in Computer-Aided Design | 2025-04-20 | 2025-07-01 | 2025-10-06 | |
| 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 | WCOP | International Doctoral Symposium on Components and Architecture | 2015-01-25 | 2015-02-16 | 2015-05-04 | ||
| c | b1 | FMOODS | International Conference on Formal Methods for Open Object-based Distributed Systems | 2013-02-11 | 2013-03-18 | 2013-06-03 | |
| c | b | b1 | TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-01-06 | 2012-03-02 | 2012-05-29 |
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| IEEE Wireless Communications Letters | 5.5 | IEEE | 2162-2337 | |
| Journal of Chemical Theory and Computation | 5.5 | American Chemical Society | 1549-9618 | |
| Computer Methods and Programs in Biomedicine | 4.8 | Elsevier | 0169-2607 | |
| Foundations of Computational Mathematics | 2.7 | Springer | 1615-3375 | |
| International Journal for Numerical Methods in Fluids | 1.8 | Wiley-Blackwell | 0271-2091 | |
| b | Formal Aspects of Computing | 1.400 | ACM | 0934-5043 |
| Computational Management Science | 1.300 | Springer | 1619-697X | |
| Mathematical Methods of Operations Research | 0.900 | Springer | 1432-2994 | |
| a | Information and Computation | 0.800 | Elsevier | 0890-5401 |
| b | Formal Methods in System Design | 0.700 | Springer | 0925-9856 |