BR-BMC
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://br-bmc.svn.sourceforge.net/
에 대해 BR-BMC
ACTL에 대한 경계 모델 검사를 사용하여 믿음 개정 알고리즘구현
관련 프로그램
-
The Image Collector 무료
이미지 컬렉터(TIC라고 함)는 다양한 웹 서비스에서 이미지를 빠르게 보고 분류하고 다운로드할 수 있도록 설계된 응용 프로그램입니다.TIC를 사용하면 다운로드할 웹 서비스를 선택하고, 사용 가능한 최신 이미지를 가져오고, 스크롤 가능한 그리드에 축소판 이미지를 표시할 수 있습니다. 그런 다음 이미지를 왼쪽 단추로 클릭하여 전체 버전을 다운로드하고 표시할 수 있습니다. 해당 이미지를 유지하려면 중
-
Contents Spider Jeanie 2009 Multi 무료 평가판
자신의 디렉토리 및 검색 엔진을 만들고, 자체 고성능 검색 엔진을 관리하고 실행합니다. 샘플: images.askpeter.info - jobs.askpeter.info - www.askpeter.info
-
OpenACAP 무료
OpenACAP 프로젝트 목표에는 완전히 RFC 2244(응용 프로그램 구성 액세스 프로토콜) 준수 서버, 클라이언트 라이브러리, 데이터 집합, 설명서 및 라이브 호스팅 서비스가 포함됩니다.
-
solexaqa 무료
SolexaQA는 일루미나 2세대 염기서열 분석 기술("Solexa")에서 생성된 FASTQ 데이터 파일에서 품질 통계 및 데이터 품질의 시각적 표현을 계산하는 소프트웨어 패키지입니다.
-
Trout's Internet Clock 무료 평가판
TIC는 데스크톱 시계, 스케줄러 및 시간 싱크로나이저 올인원.데스크톱을 개인화하고 활기를 불어넣고,시간을 내고 시스템 시계를 동기화합니다.자신의 시계를 디자인하거나 그래픽을 가져옵니다. 시간당 차임, 멀티미디어 또는 예약 텍스트 미리 알림 및 프로그램을 실행합니다.NTP 클라이언트입니다. 동적 시스템 트레이 아이콘을 특징으로, 반투명 시계, 편집 가능 약 50개의
-
Direct Democracy 무료
직접 민주주의는 다양하고 단절된 회원들이 직접 민주적 기여를 할 수 있는 웹 기반 인프라를 개발하려는 시도입니다.
-
scalix-configurator 무료
scalix-11.4.6 커뮤니티 에디션 구성을 위한 스크립트입니다. 현재 SLES10이 지원됩니다. 그것은 플랫폼 종속성을 설치, scalix 설치 프로그램을 실행, 클라우아브, 스팸, SSL, 팝, smtps 및 imaps 및 SWA에 대한 스페인어 번역.
-
AllInOnePortlet 무료
모든 사용자는 포틀릿 개발에 필요한 기본 기능에 대해 이 포트릿의 도움을 받을 수 있습니다. 양식, 작업, 자바 스크립트 라이브러리 등을 사용하는 기본 용도 대부분 이 생명선에 초점을 맞출 것이다.
-
Dofus Calculator 5 무료
주문 및 무기 손상에 대한 도푸스 2.0 계산기, 지금 중요한 히트 계산기 드롭 속도와 문자 통계 계산기
-
Y - simple, fast, free - What else? 무료
Y는 C, C++를 기반으로 하는 운영 체제이며 Assembler.It 미래에 GUI, 파일 시스템 등이 됩니다.