Anti-chain based algorithms for timed/probabilistic refinement checking

بواسطة Wang, Ting, Chen, Tieming, Liu, Yang, Wang, Ye
منشور في 2020

Formalizing and verifying stochastic system architectures using Monterey Phoenix

بواسطة SONG, Songzheng, ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song, CHEN, Tieming
منشور في 2016