공간 슈팅 게임을 엽니 다 Open Space Shooter는 Asteorids와 같은 간단한 2D 공간 슈팅 게임입니다. ... 사수 시뮬레이션 공간 슈팅 게임 시뮬레이션 게임 다운로드
uppaal tiga. Uppaal Tiga는 UPPAAL 의 확장이며 게임을 해결하기위한 최초의 효율적인 알고리즘을 구현합니다. ... uppaal. 해결 게임을 해결합니다 명령줄 검증자 on-the-fly 알고리즘 다운로드
