Login / Signup
Paul Pettersson
ORCID
Publication Activity (10 Years)
Years Active: 1994-2017
Publications (10 Years): 10
Top Topics
Model Checker
Formal Analysis
Quality Assurance
Embedded Systems
Top Venues
ICST
ICTSS
QoSA
ISSRE
</>
Publications
</>