Product Lines Platform Wiki

The most promising software development paradigm for increasing productivity.

사용자 도구

사이트 도구


workbench:services:formal_analysis

차이

문서의 선택한 두 판 사이의 차이를 보여줍니다.

차이 보기로 링크

workbench:services:formal_analysis [2013/12/23 16:21]
127.0.0.1 바깥 편집
workbench:services:formal_analysis [2014/11/25 00:03] (현재)
edeward
줄 3: 줄 3:
 ====== Formal Analysis of Control Component Behavior ====== ====== Formal Analysis of Control Component Behavior ======
  
-{{workbench:​asadal_prover_tool.png?400}}+{{workbench:​asadal_prover_tool.png}}
  
 <​그림>​ ASADAL/​PROVER 도구를 이용한 제어 컴포넌트 행위모델의 검증 <​그림>​ ASADAL/​PROVER 도구를 이용한 제어 컴포넌트 행위모델의 검증
workbench/services/formal_analysis.txt · 마지막으로 수정됨: 2014/11/25 00:03 저자 edeward