#

markovian

Here is 1 public repository matching this topic...

ahmadspm / FM-ERSoS-Model-Verification-from-HSF-driven-Models

System of System Architecture Modeling and Verification

verification internet-of-things transitions model-checking sos software-architecture stochastic-processes stochastic-modeling markovian cyber-physical-system quantitative-modeling modeling-complex-systems labelled-transition-system model-abstraction software-quality-attributes

Updated Dec 2, 2020
TeX

Improve this page

Add a description, image, and links to the markovian topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the markovian topic, visit your repo's landing page and select "manage topics."