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 条
  • [1] Composition for component-based modeling
    Gössler, G
    Sifakis, J
    SCIENCE OF COMPUTER PROGRAMMING, 2005, 55 (1-3) : 161 - 183
  • [2] Component-based event composition modeling for CPS
    Yin, Zhonghai
    Chu, Yanan
    3RD INTERNATIONAL CONFERENCE ON ADVANCES IN ENERGY, ENVIRONMENT AND CHEMICAL ENGINEERING, 2017, 69
  • [3] Component-based simulation modeling
    Buss, AH
    PROCEEDINGS OF THE 2000 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2000, : 964 - 971
  • [4] Component-based Modeling in Umple
    Orabi, Mahmoud Husseini
    Orabi, Ahmed Husseini
    Lethbridge, Timothy C.
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 247 - 255
  • [5] Component-Based Modeling in Mediator
    Li, Yi
    Sun, Meng
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), 2017, 10487 : 1 - 19
  • [6] A component-based framework for the composition of simulation software modeling electrical systems
    Delinchant, B
    Wurtz, F
    Magot, D
    Gerbaud, L
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2004, 80 (7-8): : 347 - 356
  • [7] An approach for Component-based Software Composition
    Miguel Gomez, Juan
    Alor-Hernandez, Giner
    Posada-Gomez, Ruben
    Rivera, Ismael
    Mencke, Myriam
    Chamizo, Javier
    Garcia Sanchez, Francisco
    Toma, Ioan
    CERMA 2008: ELECTRONICS, ROBOTICS AND AUTOMOTIVE MECHANICS CONFERENCE, PROCEEDINGS, 2008, : 195 - +
  • [8] Component-based web page composition
    Holland, G
    Kumar, K
    OOIS 2000: 6TH INTERNATIONAL CONFERENCE ON OBJECT ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2001, : 177 - 199
  • [9] Component-Based Modeling for Embedded Systems
    Chen, Fulong
    Fan, Xiaoya
    Wei, Jianjun
    2009 WASE INTERNATIONAL CONFERENCE ON INFORMATION ENGINEERING, ICIE 2009, VOL I, 2009, : 414 - +
  • [10] REASONING, MODELING, AND COMPONENT-BASED TECHNOLOGY
    WEGNER, P
    LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 372 - 386
12345