메뉴 건너뛰기




Volumn 35, Issue 3, 2003, Pages 83-88

Computer aided multi-paradigm modelling of hybrid systems with atom3

Author keywords

AToM3; Causal Block Diagrams; Graph Grammars; Hybrid Systems; Multi Paradigm Modelling; OOCSMP; Statecharts

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION LANGUAGES; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; GRAPH THEORY; HYBRID SYSTEMS;

EID: 84907447286     PISSN: 07359276     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (17)
  • 6
    • 84907433186 scopus 로고    scopus 로고
    • DOME guide HoneywellTechnology Center Honeywell version 5.2.1
    • DOME guide. http://www.htc.honevwell.comldorne/ Honeywell Technology Center. Honeywell, 1999, version 5.2.1
    • (1999)
  • 7
    • 0012260758 scopus 로고
    • Efficient graph rewriting and its implementation
    • Springer
    • Dörr. H. 1995. Efficient Graph Rewriting and its implementation. LNCS 922. Springer.
    • (1995) LNCS , vol.922
    • Dörr, H.1
  • 9
    • 0007946908 scopus 로고    scopus 로고
    • An introduction to the physical modeling language modelica
    • SCS mt., Erlangen
    • Ehnqvist, H. and Mattson, S.E. 1997. An Introduction to the Physical Modeling Language Modelica, Proceedings 9th European Simulation Sympossium ESS97, SCS mt., Erlangen, pp. 110-114. See also . http://www.Modcliea.org
    • (1997) Proceedings 9th European Simulation Sympossium ESS97 , pp. 110-114
    • Ehnqvist, H.1    Mattson, S.E.2
  • 11
    • 0024016415 scopus 로고
    • On visual formalisms
    • May
    • Harel, D. On visual formalisms. Communications of the ACM, 31(5):514-530, May 1988
    • (1988) Communications of the ACM , vol.31 , Issue.5 , pp. 514-530
    • Harel, D.1
  • 12
    • 84907433185 scopus 로고    scopus 로고
    • 0MG Home Page
    • 0MG Home Page: http://www.omg.org
  • 16


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.