BR-BMC

라이센스: 무료 ‎파일 크기: N/A
‎사용자 평가: 4.5/5 - ‎2 ‎투표

에 대해 BR-BMC

ACTL에 대한 경계 모델 검사를 사용하여 믿음 개정 알고리즘구현