메뉴 건너뛰기




Volumn 5063 LNCS, Issue , 2008, Pages 91-106

Programmed graph rewriting with time for simulation-based design

Author keywords

[No Author keywords available]

Indexed keywords

CHANNEL CAPACITY; COMPUTER SIMULATION; GRAPH THEORY; HIERARCHICAL SYSTEMS; SPECIFICATIONS;

EID: 54249140064     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69927-9_7     Document Type: Conference Paper
Times cited : (22)

References (14)
  • 1
    • 0033712787 scopus 로고    scopus 로고
    • Tool demonstration: The FUJABA environment
    • Nickel, U., Niere, J., Ziindorf, A.: Tool demonstration: The FUJABA environment. In: ICSE 2000, pp. 742-745 (2000)
    • (2000) ICSE 2000 , pp. 742-745
    • Nickel, U.1    Niere, J.2    Ziindorf, A.3
  • 5
    • 33746453737 scopus 로고    scopus 로고
    • Schürr, A., Rötschke, T., Amelunxen, C., Königs. A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, 4066, pp. 361-375. Springer, Heidelberg (2006)
    • Schürr, A., Rötschke, T., Amelunxen, C., Königs. A.: MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361-375. Springer, Heidelberg (2006)
  • 8
    • 84937217390 scopus 로고    scopus 로고
    • 9: A tool for multi-formalism and metamodelling
    • Kutsche, R.-D, Weber, H, eds, ETAPS 2002 and FASE 2002, Springer, Heidelberg
    • 9: A tool for multi-formalism and metamodelling. In: Kutsche, R.-D., Weber, H. (eds.) ETAPS 2002 and FASE 2002. LNCS, vol. 2306, pp. 174-188. Springer, Heidelberg (2002)
    • (2002) LNCS , vol.2306 , pp. 174-188
    • de Lara, J.1    Vangheluwe, H.2
  • 10
    • 33646181557 scopus 로고    scopus 로고
    • The modelling and simulation package PythonDEVS for classical hierarchical DEVS
    • MSDL-TR-2001-01, McGill University
    • Bolduc, J.S., Vangheluwe, H.: The modelling and simulation package PythonDEVS for classical hierarchical DEVS. MSDL technical report MSDL-TR-2001-01, McGill University (2001)
    • (2001) MSDL technical report
    • Bolduc, J.S.1    Vangheluwe, H.2
  • 11
    • 33750248820 scopus 로고    scopus 로고
    • Guerra, E., de Lara, J.: Event-Driven Grammars: Towards the Integration of Metamodelling and Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNGS, 3256, pp. 54-69. Springer, Heidelberg (2004)
    • Guerra, E., de Lara, J.: Event-Driven Grammars: Towards the Integration of Metamodelling and Graph Transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNGS, vol. 3256, pp. 54-69. Springer, Heidelberg (2004)
  • 13
    • 84878179451 scopus 로고    scopus 로고
    • Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, 2505, pp. 120-134. Springer, Heidelberg (2002)
    • Gyapay, S., Heckel, R., Varró, D.: Graph transformation with time: Causality and logical clocks. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 120-134. Springer, Heidelberg (2002)
  • 14
    • 36348993335 scopus 로고    scopus 로고
    • Mathematical description of sensorimotor reaction time distribution
    • Zaitsev, A.V., Skorik, Y.A.: Mathematical description of sensorimotor reaction time distribution. Human Physiology 28(4), 494-497 (2002)
    • (2002) Human Physiology , vol.28 , Issue.4 , pp. 494-497
    • Zaitsev, A.V.1    Skorik, Y.A.2


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