Ouya Lin

Publication Activity (10 Years)

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

Top Topics

Quantitative Analysis

Linear Temporal Logic

Top Venues

Publications

Qi Shao, Weiwei Chen, Fuping Zeng, Zhijie Gao, Zhiyu Duan, Ouya Lin
Quantitative Analysis of Software Fault-tolerance Design Modes Based on Probabilistic Model Checking. QRS Companion (2021)