Diagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specifications

Simple item page
dc.contributor.authorOverstreet, C. Michaelen
dc.contributor.authorNance, Richard E.en
dc.contributor.departmentComputer Scienceen
dc.date.accessioned2013-06-19T14:37:15Zen
dc.date.available2013-06-19T14:37:15Zen
dc.date.issued1986-03-01en
dc.description.abstractAutomated diagnosis of digraph representations of discrete event simulation models is illustrated as an effective model verification technique, applicable prior to coding the model in an executable language. The Condition Specification is shown to provide an effective representation, from which automated analysis can initiate with a digraph extraction. Subsequent diagnostic simplification techniques are applied to the digraph, either automatically or in concert with the modeler.en
dc.format.mimetypeapplication/pdfen
dc.identifierhttp://eprints.cs.vt.edu/archive/00000015/en
dc.identifier.sourceurlhttp://eprints.cs.vt.edu/archive/00000015/01/TR-86-08.pdfen
dc.identifier.trnumberTR-86-08en
dc.identifier.urihttp://hdl.handle.net/10919/19508en
dc.language.isoenen
dc.publisherDepartment of Computer Science, Virginia Polytechnic Institute & State Universityen
dc.relation.ispartofHistorical Collection(Till Dec 2001)en
dc.rightsIn Copyrighten
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.titleDiagnostic Assistance Using Digraph Representation of Discrete Event Simulation Model Specificationsen
dc.typeTechnical reporten
dc.type.dcmitypeTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
TR-86-08.pdf
Size:
1.62 MB
Format:
Adobe Portable Document Format
Download

Collections

Computer Science Technical Reports