메뉴 건너뛰기




Volumn 21, Issue 1, 2002, Pages 5-38

Modular and visual specification of hybrid systems: An introduction to HyCharts

Author keywords

Formal specification; Hybrid systems; Statecharts

Indexed keywords

COMPUTATIONAL METHODS; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; SEMANTICS;

EID: 0036645951     PISSN: 09259856     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1016001318739     Document Type: Article
Times cited : (5)

References (29)
  • 18
    • 0001937794 scopus 로고
    • Hybrid systems in TLA+
    • in R.L. Grossman, A. Nerode, A.P. Ravn, and H. Rischeel (Eds.); Springer-Verlag, Berlin
    • (1993) Hybrid Systems, LNCS , vol.736
    • Lamport, L.1
  • 26
    • 0003969002 scopus 로고
    • Algebra of flownomials
    • Technical Report TUM-I9437, Technische Universität München
    • (1994)
    • Stefǎnescu, Gh.1
  • 27
    • 0009769485 scopus 로고    scopus 로고
    • The MathWorks Inc. Stateflow
    • (1998)


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