会议信息
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 |
浏览: 16486 关注: 0 参加: 0
征稿
相关会议
| 简称 | 全称 | 会议日期 |
|---|---|---|
| CF' | Cloud Forward Conference | 2015-10-06 |
| ENBENG | IEEE Portuguese Meeting on Bioengineering | 2019-02-22 |
| TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-05-29 |
| BODYNET | International Conference on Body Area Networks | 2015-09-28 |
| NSS/MIC | Nuclear Science Symposium and Medical Imaging Conference | 2015-10-31 |
| FM | International Symposium on Formal Methods | 2024-09-09 |
| SNPD | International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | 2023-12-06 |
| TAMC | Annual Conference on Theory and Applications of Models of Computation | 2015-05-18 |
| ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-18 |
| IECT | International Conference on Information Engineering and Communications Technology | 2016-06-25 |
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| IEICE Transactions on Communications | IEICE | |||
| IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |||
| International Journal of Computerized Dentistry | Quintessenz Verlags GmbH | 1463-4201 | ||
| VLSI Design | Hindawi | 1065-514X | ||
| Universal Access in the Information Society | 2.100 | Springer | 1615-5289 | |
| Journal of Mathematical Modelling and Algorithms in Operations Research | Springer | 2214-2487 | ||
| Statistics and Computing | 1.600 | Springer | 0960-3174 | |
| Chinese Journal of Electronics | CIE | 1022-4653 | ||
| c | IEEE Transactions on Industrial Informatics | 11.7 | IEEE | 1551-3203 |
| Journal of Sensor and Actuator Networks | 3.300 | MDPI | 2224-2708 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| IEICE Transactions on Communications | IEICE | |
| IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |
| International Journal of Computerized Dentistry | Quintessenz Verlags GmbH | |
| VLSI Design | Hindawi | |
| Universal Access in the Information Society | 2.100 | Springer |
| Journal of Mathematical Modelling and Algorithms in Operations Research | Springer | |
| Statistics and Computing | 1.600 | Springer |
| Chinese Journal of Electronics | CIE | |
| IEEE Transactions on Industrial Informatics | 11.7 | IEEE |
| Journal of Sensor and Actuator Networks | 3.300 | MDPI |