1 option
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design / Partha Roop, [and four others].
- Format:
- Book
- Author/Creator:
- Roop, Partha, author.
- Series:
- ACM Conferences
- Language:
- English
- Subjects (All):
- Computer science--Congresses.
- Computer science.
- Electronic data processing--Congresses.
- Electronic data processing.
- Physical Description:
- 1 online resource (160 pages) : illustrations
- Other Title:
- MEMOCODE '19
- Place of Publication:
- New York : Association for Computing Machinery, 2019.
- Summary:
- 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.
- Notes:
- Description based on publisher supplied metadata and other sources.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.