MPG.eBooks - Search Results - ("poet" OR "post")

Search alternatives:
"poet" » "port", "poem"

Cover Image

1

Verification and Evaluation of Computer and Communication Systems : 16th International Conference, VECoS 2023, Marrakech, Morocco, October 18–20, 2023, Proceedings

Published 2024

Springer Nature Switzerland

Table of Contents: “... Formal Verification of Node RED-based IoT Applications -- Formal Verification of a Post-Quantum Signal...”