Conference Information
FMCO 2011: International Symposium on Formal Methods for Components and Objects
Please Login to view website of conference
Submission Date: |
|
Notification Date: |
2011-09-07 |
Conference Date: |
2011-10-03 |
Location: |
Turin, Italy |
Years: |
10 |
Viewed: 20617 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
Related Journals
| CCF | Full Name | Impact Factor | Publisher | 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.4 | ACM | 0934-5043 |
| Computational Management Science | 1.3 | Springer | 1619-697X | |
| Mathematical Methods of Operations Research | 1.2 | Springer | 1432-2994 | |
| a | Information and Computation | 1.0 | Elsevier | 0890-5401 |
| b | Formal Methods in System Design | 0.8 | Springer | 0925-9856 |