Cargando…
19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21)
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Association for Computing Machinery
2021
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2857763 |
| _version_ | 1780977583562686464 |
|---|---|
| author | Arun-Kumar, S. Mery, Dominique |
| author_facet | Arun-Kumar, S. Mery, Dominique |
| author_sort | Arun-Kumar, S. |
| collection | CERN |
| id | cern-2857763 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2021 |
| publisher | Association for Computing Machinery |
| record_format | invenio |
| spelling | cern-28577632023-05-05T15:33:30Zhttp://cds.cern.ch/record/2857763engArun-Kumar, S.Mery, Dominique19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21)Computing and ComputersAssociation for Computing Machineryoai:cds.cern.ch:28577632021 |
| spellingShingle | Computing and Computers Arun-Kumar, S. Mery, Dominique 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) |
| title | 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) |
| title_full | 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) |
| title_fullStr | 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) |
| title_full_unstemmed | 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) |
| title_short | 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21) |
| title_sort | 19th acm-ieee international conference on formal methods and models for system design (memocode'21) |
| topic | Computing and Computers |
| url | http://cds.cern.ch/record/2857763 |
| work_keys_str_mv | AT arunkumars 19thacmieeeinternationalconferenceonformalmethodsandmodelsforsystemdesignmemocode21 AT merydominique 19thacmieeeinternationalconferenceonformalmethodsandmodelsforsystemdesignmemocode21 |