Model-Based Testing of Internet of Things Protocols

von Dommelen, Xavier Manuel van
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)