[IEEE 2017 Annual IEEE International Systems Conference (SysCon) - Montreal, QC, Canada (2017.4.24-2017.4.27)] 2017 Annual IEEE International Systems Conference (SysCon) - Automated Markov-chain based analysis for large state spaces
Smith, Kaitlin N., Taylor, Michael A., Carroll, Anna A., Manikas, Theodore W., Thornton, Mitchell A.Year:
2017
Language:
english
DOI:
10.1109/SYSCON.2017.7934746
File:
PDF, 1.05 MB
english, 2017