Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development to exchange research results and lessons learned. The conference focuses on the foundations and applications of formal methods in the development of hardware, firmware, middleware, a...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
New York :
Association for Computing Machinery
2019.
|
| Colección: | ACM Conferences
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009714478006719 |
