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 条
  • [31] Component-Based Modeling and Reachability Analysis of Genetic Networks
    Goessler, Gregor
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2011, 8 (03) : 672 - 682
  • [32] Variability modeling in a component-based domain engineering process
    Terra Bacelo Blois, Ana Paula
    de Oliveira, Regiane Felipe
    Maia, Natanael
    Werner, Claudia
    Becker, Karin
    REUSE OF OFF-THE-SHELF COMPONENTS, PROCEEDINGS, 2006, 4039 : 395 - 398
  • [33] High-Level Modeling of Component-Based CSPs
    Chenouard, Raphael
    Granvilliers, Laurent
    Soto, Ricardo
    ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2010, 2010, 6404 : 233 - 242
  • [34] Component-based load modeling including capacitor banks
    Lim, JY
    Lee, JP
    Ji, PS
    Ozdemir, A
    Singh, C
    2001 POWER ENGINEERING SOCIETY SUMMER MEETING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2001, : 1199 - 1204
  • [35] Component-Based Modeling for Complex Digital Logic Systems
    Zhou, Wen
    Chen, Fulong
    Sun, Yunxiang
    Ye, Heping
    Wang, Jinbao
    Qi, Xuemei
    2013 6TH INTERNATIONAL CONGRESS ON IMAGE AND SIGNAL PROCESSING (CISP), VOLS 1-3, 2013, : 1106 - 1111
  • [36] A Component-Based Modeling and Validation Method for PLC Systems
    Wang, Rui
    Guan, Yong
    Zhou, Min
    Zhang, Jie
    Song, Xiaoyu
    ADVANCES IN MECHANICAL ENGINEERING, 2014,
  • [37] Component-based modeling of enterprise architectures for collaborative manufacturing
    Chae, Heekwon
    Choi, Younghwan
    Kim, Kwangsoo
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2007, 34 (5-6): : 605 - 616
  • [38] COMPONENT-BASED APPROACH TO MAINTENANCE MODELING OF GAS TURBINES
    Volovoi, Vitali
    Valenzuela, Rene
    Bhatnagar, Himanshu
    Nordlund, Scott
    Davis, Fred
    Villeneuve, Frederic
    Guo, Yan
    Patel, Chirag
    PROCEEDINGS OF THE ASME TURBO EXPO 2012, VOL 3, 2012, : 1025 - +
  • [39] Exploring component-based approaches in forest landscape modeling
    He, HS
    Larsen, DR
    Mladenoff, DJ
    ENVIRONMENTAL MODELLING & SOFTWARE, 2002, 17 (06) : 519 - 529
  • [40] Component-based Modeling and Code Synthesis for Cyclic Programs
    Zhou, Min
    Wan, Hai
    Su, Chen
    Yin, Liangze
    Zhang, Lianyi
    He, Fei
    Gu, Ming
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 569 - 578
12345