Información de la conferencia
WS-FM 2012: International Workshop on Web Services and Formal Methods
http://www.informatik.uni-rostock.de/ws-fm2012/Día de Entrega: |
|
Fecha de Notificación: |
2012-07-21 |
Fecha de Conferencia: |
2012-09-06 |
Ubicación: |
Tallinn, Estonia |
Años: |
9 |
Vistas: 13941 Seguidores: 0 Asistentes: 0
Conferencias Relacionadas
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
SSV | International Workshop on Systems Software Verification | 2012-11-28 | |
NCIT | International Conference on Networks, Communication and Information Technology | 2022-10-20 | 2022-11-05 |
VANET | International Workshop on VehiculAr Inter-NETworking, Systems, and Applications | 2012-06-25 | |
RMLSP | International Conference on Robotics, Machine Learning and Signal Processing | 2024-05-30 | 2024-06-21 |
ATC | IEEE International Conference on Autonomous and Trusted Computing | 2024-08-04 | 2024-12-02 |
WSS | International Symposium on Web Services | 2014-10-15 | 2014-12-27 |
CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2018-11-18 | 2019-06-04 |
FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2024-07-05 | 2024-12-16 |
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
c | ACM Transactions on Cyber-Physical Systems | 2.000 | ACM | 2378-962X |
Journal of Classification | 1.800 | Springer | 0176-4268 | |
Advances and Applications in Bioinformatics and Chemistry | Dove Medical Press | 1178-6949 | ||
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |||
IEEE Electrification Magazine | 3.400 | IEEE | 2325-5897 | |
Information Systems Journal | 6.500 | Wiley-Blackwell | 1350-1917 | |
b | Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. | 1532-2890 |
International Journal of Photoenergy | 2.100 | Hindawi | 1110-662X | |
IEEE Open Journal of Signal Processing | 2.900 | IEEE | 2644-1322 | |
Graphs and Combinatorics | 0.600 | Springer | 0911-0119 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
ACM Transactions on Cyber-Physical Systems | 2.000 | ACM |
Journal of Classification | 1.800 | Springer |
Advances and Applications in Bioinformatics and Chemistry | Dove Medical Press | |
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences | IEICE | |
IEEE Electrification Magazine | 3.400 | IEEE |
Information Systems Journal | 6.500 | Wiley-Blackwell |
Journal of the American Society for Information Science and Technology | 2.800 | John Wiley & Sons, Ltd. |
International Journal of Photoenergy | 2.100 | Hindawi |
IEEE Open Journal of Signal Processing | 2.900 | IEEE |
Graphs and Combinatorics | 0.600 | Springer |
Recomendaciones