Conference Information
WS-FM 2012: International Workshop on Web Services and Formal Methods
http://www.informatik.uni-rostock.de/ws-fm2012/Submission Date: |
|
Notification Date: |
2012-07-21 |
Conference Date: |
2012-09-06 |
Location: |
Tallinn, Estonia |
Years: |
9 |
Viewed: 10364 Tracked: 0 Attend: 0
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
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 | |
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 | 2023-07-12 | 2023-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 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | 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 |
Full Name | Impact Factor | Publisher |
---|---|---|
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 |
Recommendation