Wanjin Zhou

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Open Source Software

Verification Method

Artificial Neural Networks

Top Venues

ISSRE Workshops

Publications

Wanjin Zhou, Feifei Hu, Junyan Ma
Improving Flexibility in Embedded System Runtime Verification with Python. ISSRE Workshops (2022)