1 option
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : IEEE ICNP 2020 : October 13-16, Madrid, Spain / Institute of Electrical and Electronics Engineers.
- Format:
- Book
- Author/Creator:
- Institute of Electrical and Electronics Engineers, author, issuing body.
- Language:
- English
- Subjects (All):
- Formal methods (Computer science)--Congresses.
- Formal methods (Computer science).
- Physical Description:
- 1 online resource : illustrations
- Other Title:
- 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design
- Place of Publication:
- Piscataway, New Jersey : IEEE, [2020]
- Summary:
- ICNP 2020, the 28th annual edition of the IEEE International Conference on Network Protocols, is a conference covering all aspects of network protocols, including design, analysis, specification, verification, implementation, and performance.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 979-83-503-3190-5
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.