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: 10104 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 | 2022-09-04 | 2023-03-06 |
| 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 | |
| WSS | International Symposium on Web Services | 2014-10-15 | 2014-12-27 |
| ATC | International Conference on Advanced and Trusted Computing | 2022-09-20 | 2022-12-16 |
| FSTTCS | IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science | 2022-07-14 | 2022-12-18 |
| CPAIOR | International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research | 2018-11-18 | 2019-06-04 |
| SCC | International Conference on Services Computing | 2022-03-01 | 2022-07-10 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell | 0271-2091 | |
| a | IEEE Transactions on Services Computing | 5.823 | IEEE | 1939-1374 |
| International Journal on Cybernetics & Informatics | AIRCC | 2320-8430 | ||
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| Computational Science and Engineering Software | Rational Publication | 0000-0000 | ||
| International Journal of Wireless Information Networks | Springer | 1068-9605 | ||
| Archives of Computational Methods in Engineering | 7.302 | Springer | 1134-3060 | |
| International Journal of E-Services and Mobile Applications | IGI Global | 1941-627X | ||
| Electrical Engineering: An International Journal | AIRCC | 2349-3739 | ||
| c | IEEE Transactions on Network and Service Management | 3.878 | IEEE | 1932-4537 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell |
| IEEE Transactions on Services Computing | 5.823 | IEEE |
| International Journal on Cybernetics & Informatics | AIRCC | |
| Formal Methods in System Design | 0.442 | Springer |
| Computational Science and Engineering Software | Rational Publication | |
| International Journal of Wireless Information Networks | Springer | |
| Archives of Computational Methods in Engineering | 7.302 | Springer |
| International Journal of E-Services and Mobile Applications | IGI Global | |
| Electrical Engineering: An International Journal | AIRCC | |
| IEEE Transactions on Network and Service Management | 3.878 | IEEE |
Recomendaciones