View source for Atomic Formalisms

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&ouml;bius currently supports the following formalisms:

* [[ADVISE Atomic Formalism|ADversary VIew Security Evaluation (ADVISE)]]
* [[Buckets and Balls Atomic Formalism | Buckets and Balls]]
* [[External Atomic Formalism|External Atomic]]
* [[Fault Trees Atomic Formalism|Fault Trees]]
* [[PEPA Atomic Formalism| Performance Evaluation Process Algebra (PEPA)]]
* [[SAN Atomic Formalism|Stochastic Activity Networks