2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) : IEEE ICNP 2020 : October 13-16, Madrid, Spain /

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.

Gespeichert in:
Weitere Titel:
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design
Körperschaft:
Institute of Electrical and Electronics Engineers
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Piscataway, New Jersey : IEEE, [2020]
Zusammenfassung:
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.
Umfang:
1 online resource : illustrations
ISBN:
979-83-503-3190-5
Schlagworte:
Formal methods (Computer science) > Congresses.
Bezugswerke:
Links: