Title: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design
Abstract: 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.
Publication Year: 2019
Publication Date: 2019-10-09
Language: en
Type: paratext
Indexed In: ['crossref']
Access and Citation
Cited By Count: 4
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot