Composition for component-based modeling

被引：0
|
作者：
Gössler, G [1 ]
Sifakis, J [1 ]
机构：
[1] INRIA, Rhone Alpes, France
来源：
FORMAL METHODS FOR COMPONENTS AND OBJECTS | 2003年 / 2852卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：443 / 466
页数：24
相关论文
共 50 条
  • [41] Design of a component-based integrated environmental modeling framework
    Whelan, Gene
    Kim, Keewook
    Pelton, Mitch A.
    Castleton, Karl J.
    Laniak, Gerard F.
    Wolfe, Kurt
    Parmar, Rajbir
    Babendreier, Justin
    Galvin, Michael
    ENVIRONMENTAL MODELLING & SOFTWARE, 2014, 55 : 1 - 24
  • [42] Variable structure in DEVS component-based modeling and simulation
    Hu, XL
    Hu, XL
    Zeigler, BP
    Mittal, S
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2005, 81 (02): : 91 - 102
  • [43] Component-based performance modeling of a storage area network
    Aizikowitz, N
    Glikson, A
    Landau, A
    Mendelson, B
    Sandbank, T
    PROCEEDINGS OF THE 2005 WINTER SIMULATION CONFERENCE, VOLS 1-4, 2005, : 2417 - 2426
  • [44] Separation of concerns in modeling distributed component-based architectures
    Marvie, R
    Merle, P
    Geib, JM
    SIXTH INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2002, : 144 - 154
  • [45] A component-based aircraft instrument rapid modeling tool
    Fangwen LI Xukun SHENState Key Lab of Virtual Reality Technology and SystemsSchool of Computer ScienceBeihang UniversityBeijing China
    JournalofZhejiangUniversity-ScienceC(Computers&Electronics), 2010, 11 (11) : 911 - 918
  • [46] Component-Based Modeling and Integration of Automotive Application Architectures
    Schorp, Konstantin
    Sommer, Stephan
    2014 IEEE INTERNATIONAL ELECTRIC VEHICLE CONFERENCE (IEVC), 2014,
  • [47] Modeling Guidelines for Component-Based Supervisory Control Synthesis
    Goorden, Martijn
    van de Mortel-Fronczak, Joanna
    Reniers, Michel
    Fokkink, Wan
    Rooda, Jacobus
    FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 3 - 24
  • [48] Component-Based Dynamic Load Modeling of a Paper Mill
    Wong, K. E.
    Haque, M. E.
    Davies, M.
    2012 22ND AUSTRALASIAN UNIVERSITIES POWER ENGINEERING CONFERENCE (AUPEC): GREEN SMART GRID SYSTEMS, 2012,
  • [49] Formal component-based modeling and synthesis for PLC systems
    Zhou, M.
    Wan, H.
    Wang, R.
    Song, X.
    Su, C.
    Gu, M.
    Sun, J.
    COMPUTERS IN INDUSTRY, 2013, 64 (08) : 1022 - 1034
  • [50] Simulation: Transactions of the SCS component-based modeling and simulation
    Barros, F
    Sarjoughian, HS
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2004, 80 (7-8): : 319 - 320
12345