Construction of a formal methodology to refine a spares suite using TIGER
This thesis proposes a method for setting inventory levels for a suite of spares for a ship subsystem. The method extends the one proposed by Judge and Leutjen which uses a computer simulation model called TIGER to modify the levels of shipboard spare parts determinated by a sparing model. By combin...
Main Author: | Castillo, Steven Anthony. |
---|---|
Other Authors: | Woods, W. Max |
Language: | en_US |
Published: |
Monterey, California. Naval Postgraduate School
2013
|
Online Access: | http://hdl.handle.net/10945/26947 |
Similar Items
-
A methodology for refining formal software specification using transformation-based tools
by: Hsu, Yung-Kao
Published: (2006) -
A formal approach to analysis and refinement of policies
by: Bandara, Arosha Karunadheera
Published: (2005) -
Formal Institutions in Irish Planning: Europeanization Before and after the Celtic Tiger
by: Fearon, Kyle
Published: (2012) -
Formal refinement of extended state machines
by: Thomas Fayolle, et al.
Published: (2016-06-01) -
A formal refinement framework for the systems modeling language
by: Jacobs, Petrus Jacobus
Published: (2015)