Examination of modeling languages to allow quantitative analysis for model-based systems engineering
Approved for public release; distribution is unlimited === Model-based systems engineering (MBSE) needs a formal language, one defined with explicit rules between its elements, in order to support the use of formal modeling in systems engineering. This thesis examines desirable features in the conte...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
Monterey, California. Naval Postgraduate School
2014
|
| Online Access: | http://hdl.handle.net/10945/42695 |