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

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

Archived Files and Locations

application/pdf  85.8 kB
file_zjuxbg4fc5bg3ps47mmflxd5ie
web.archive.org (webarchive)
www.computer.org (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2015
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 43a27a13-b3ac-4ccf-90b6-fc0b285ed2a2
API URL: JSON