9783031334597 - tools for design, implementation and verification of emerging information technologies: 17th eai international conference, tridentcom 2022, melbourne, australia, november 23-25, 2022, proceedings (1 Ergebnisse)