Información de la conferencia
FMCO 2011: International Symposium on Formal Methods for Components and Objects
http://fmco.liacs.nl/fmco11.htmlDía de Entrega: |
|
Fecha de Notificación: |
2011-09-07 |
Fecha de Conferencia: |
2011-10-03 |
Ubicación: |
Turin, Italy |
Años: |
10 |
Vistas: 11557 Seguidores: 0 Asistentes: 0
Conferencias Relacionadas
| Abreviación | Nombre Completo | Entrega | Conferencia |
|---|---|---|---|
| IECT | International Conference on Information Engineering and Communications Technology | 2016-05-31 | 2016-06-25 |
| ISCTEE | International Seminar on Information Science, Computer Technology and Electrical Engineering | 2017-08-11 | 2017-08-18 |
| TAMC | Annual Conference on Theory and Applications of Models of Computation | 2014-11-27 | 2015-05-18 |
| SNPD | International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing | 2023-09-04 | 2023-12-06 |
| FM | International Symposium on Formal Methods | 2024-04-05 | 2024-09-09 |
| NSS/MIC | Nuclear Science Symposium and Medical Imaging Conference | 2015-05-05 | 2015-10-31 |
| BODYNET | International Conference on Body Area Networks | 2015-06-01 | 2015-09-28 |
| ICEIEC | IEEE International Conference on Electronics Information and Emergency Communication | 2024-04-15 | 2024-05-24 |
| TOOLS Europe | International Conference on Objects, Models, Components and Patterns | 2012-01-06 | 2012-05-29 |
| CF' | Cloud Forward Conference | 2015-07-13 | 2015-10-06 |
Revistas Relacionadas
| CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
|---|---|---|---|---|
| b | Formal Aspects of Computing | 1.226 | Springer | 0934-5043 |
| b | Formal Methods in System Design | 0.442 | Springer | 0925-9856 |
| International Journal on Artificial Intelligence Tools | 0.849 | World Scientific | 0218-2130 | |
| c | Behaviour & Information Technology | 1.388 | Taylor & Francis | 0144-929X |
| c | Information Management & Computer Security | Emerald | 0968-5227 | |
| IEEE Transactions on Molecular, Biological, and Multi-Scale Communications | IEEE | 2372-2061 | ||
| a | Information and Computation | 0.704 | Elsevier | 0890-5401 |
| Ethics and Information Technology | 0.497 | Springer | 1388-1957 | |
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell | 0271-2091 | |
| Journal of Formalized Reasoning | Alma Mater Studiorum | 1972-5787 |
| Nombre Completo | Factor de Impacto | Editor |
|---|---|---|
| Formal Aspects of Computing | 1.226 | Springer |
| Formal Methods in System Design | 0.442 | Springer |
| International Journal on Artificial Intelligence Tools | 0.849 | World Scientific |
| Behaviour & Information Technology | 1.388 | Taylor & Francis |
| Information Management & Computer Security | Emerald | |
| IEEE Transactions on Molecular, Biological, and Multi-Scale Communications | IEEE | |
| Information and Computation | 0.704 | Elsevier |
| Ethics and Information Technology | 0.497 | Springer |
| International Journal for Numerical Methods in Fluids | 1.631 | Wiley-Blackwell |
| Journal of Formalized Reasoning | Alma Mater Studiorum |
Recomendaciones