Difference between revisions of "Atomic Formalisms"
From Mobius Wiki
(Created page with "Each model is composed of one or more submodels, also referred to as ''atomic models''. You can create and edit atomic models using different editors like the SAN editor, the ...") |
(No difference)
|
Revision as of 22:19, 29 October 2014
Each model is composed of one or more submodels, also referred to as atomic models. You can create and edit atomic models using different editors like the SAN editor, the PEPA editor, the Buckets and Balls editor, and the Fault Tree editor.
Möbius currently supports the following formalisms:
- ADversary VIew Security Evaluation (ADVISE)
- Buckets and Balls
- External Atomic
- Fault Trees
- Performance Evaluation Process Algebra (PEPA)
- [[SAN Atomic Formalism|Stochastic Activity Networks
