MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2021

MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design

Résumé

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, and application software for systems ranging from single embedded devices to highly networked cyber-physical systems and the Internet of Things.
Fichier non déposé

Dates et versions

hal-03529572 , version 1 (17-01-2022)

Identifiants

Citer

Arunkumar S, Dominique Méry, Indranil Saha, Lijun Zhang. MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design. MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Nov 2021, Virtual, China. ACM, 2021, 978-1-4503-9127-6. ⟨10.1145/3487212⟩. ⟨hal-03529572⟩
27 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More