A SPECIFICATION LANGUAGE TO ASSIST IN ANALYSIS OF DISCRETE EVENT SIMULATION-MODELS

被引：33
|
作者：
OVERSTREET, CM
NANCE, RE
机构：
[1] Old Dominion Univ, Dep of Computer, Science, Norfolk, VA, USA, Old Dominion Univ, Dep of Computer Science, Norfolk, VA, USA
来源：
COMMUNICATIONS OF THE ACM | 1985年 / 28卷 / 02期
关键词：
D O I：
10.1145/2786.2792
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
56
引用
收藏
页码：190 / 201
页数：12
相关论文
共 50 条
  • [41] CASH FLOW SIMULATION-MODELS FOR PREMIUM AND SURPLUS ANALYSIS
    PAULSON, AS
    DIXIT, R
    FINANCIAL MODELS IN INSURANCE SOLVENCY, 1989, : 37 - 55
  • [42] DISCRETE EVENT MODELS FOR CELL SPACE SIMULATION
    ZEIGLER, BP
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 1982, 21 (6-7) : 573 - 588
  • [43] Models of computation for parallel discrete event simulation
    Turner, SJ
    JOURNAL OF SYSTEMS ARCHITECTURE, 1998, 44 (6-7) : 395 - 409
  • [44] QUANTIFYING VALIDATION OF DISCRETE EVENT SIMULATION MODELS
    Raunak, Mohammad
    Olsen, Megan
    PROCEEDINGS OF THE 2014 WINTER SIMULATION CONFERENCE (WSC), 2014, : 628 - 639
  • [45] User interfaces and discrete event simulation models
    Kuljis, Jasna
    Simulation Practice and Theory, 1994, 1 (05): : 207 - 221
  • [46] ANALYSIS OF MATHEMATICAL PRINCIPLES IN CROP GROWTH SIMULATION-MODELS
    RACSKO, P
    SEMENOV, M
    ECOLOGICAL MODELLING, 1989, 47 (3-4) : 291 - 302
  • [47] A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation
    Castro, Rodrigo
    Kofman, Ernesto
    Wainer, Gabriel
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2010, 86 (10): : 587 - 611
  • [48] Simulation of Mobile Networks using Discrete Event System Specification Theory
    Moallemi, Mohammad
    Wainer, Gabriel
    Jafer, Shafagh
    Boudreau, Gary
    Casselman, Ronald
    16TH COMMUNICATIONS AND NETWORKING SYMPOSIUM (CNS 2013) - 2013 SPRING SIMULATION MULTI-CONFERENCE (SPRINGSIM'13), 2013, 45 (03): : 79 - 86
  • [49] SIMULATION-MODELS OF GROUP SEGREGATION
    JONES, FL
    AUSTRALIAN AND NEW ZEALAND JOURNAL OF SOCIOLOGY, 1985, 21 (03): : 431 - 444
  • [50] STATISTICAL VALIDATION OF SIMULATION-MODELS
    KLEIJNEN, JPC
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1995, 87 (01) : 21 - 34
12345