메뉴 건너뛰기




Volumn 1779, Issue , 2000, Pages 449-456

Testing and simulating production control systems using the Fujaba Environment

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CONTROL SYSTEMS; FLOW GRAPHS; FORMAL METHODS; GRAPHIC METHODS; PRODUCTION CONTROL; SEMANTICS; SPECIFICATIONS;

EID: 84974712283     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45104-8_37     Document Type: Conference Paper
Times cited : (1)

References (8)
  • 6
    • 0004037680 scopus 로고
    • CS84-05, Department of Applied Mathematics, The Weizmann Institute of Science
    • D. Harel: Statecharts: A visual approach to complex systems, CS84-05, Department of Applied Mathematics, The Weizmann Institute of Science 1984
    • (1984) Statecharts: A Visual Approach to Complex Systems
    • Harel, D.1


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