Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract).

Songzheng Song, Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, Tieming Chen

Browse the full MODELS paper archive.