Login / Signup
Xavier Manuel van Dommelen
ORCID
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Metadata
Security Policies
Sequence Diagrams
Model Based Testing
Top Venues
FMICS
</>
Publications
</>
Xavier Manuel van Dommelen
,
Machiel van der Bijl
,
Andy D. Pimentel
Model-Based Testing of Internet of Things Protocols.
FMICS
(2022)