![](/statics/img/blank.png)
Interactive BDD Environment 1.1
라이센스: 무료 파일 크기: N/A
사용자 평가: 3.0/5 - 1 투표
기다리세요... 악의적인 콘텐츠에 대해 다운로드 링크가 확인되고 있습니다.
5초 만에 다운로드할 수 있습니다.
5초 만에 다운로드할 수 있습니다.
에 대해 Interactive BDD Environment
IBEN은 대화형 BDD 환경입니다. 그것은 선언, 조작 및 감소 된 바이너리 결정 다이어그램 (ROBDDs)를 시각화 할 수 있습니다. BDD를 대화형으로 조작해야 할 때마다 유용하지만 학습 도구로 설계되었습니다.