Author Search Results

1

Anti-chain based algorithms for timed/probabilistic refinement checking

Anti-chain based algorithms for timed/probabilistic refinement checking

by Wang, Ting, Chen, Tieming, Liu, Yang, Wang, Ye
Published 2020

Get full text

Article

2

Formalizing and verifying stochastic system architectures using Monterey Phoenix

Formalizing and verifying stochastic system architectures using Monterey Phoenix

by SONG, Songzheng, ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song, CHEN, Tieming
Published 2016

Get full text
Get full text

text