Yue Jia

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 1

Top Topics

Formal Specification

Linear Temporal Logic

Publish Subscribe

Mission Critical

Top Venues

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD