REDLIB 8
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/redlib/files/RED%2CTCTL%20model-checker%2C%20simulation-checker%2C%20parametric%20safety-analyzer/text%20mode/version%208/red.8.110529.tar.gz/download
에 대해 REDLIB
* CRD (시계 제한 다이어그램) 기술로 C의 조밀 한 시간 모델과 실시간 시스템을위한 모델 검사 / 시뮬레이션 검사 라이브러리. * HRD (하이브리드 제한 다이어그램) 테크놀과 C의 선형 하이브리드 시스템을위한 파라메트릭 분석 라이브러리
관련 프로그램
-
Open Pandora's Box 무료
판도라는 인공 지능형 웹 기반 봇입니다. 판도라는 데이터베이스 메모리, XML, 음성, 음성 rec, 채팅, IRC, HTTP, 위크레이션, 프리베이스, 의식, 언어, GUI, 애플릿, 웹, JsP를 포함한 구성 요소 기반의 AI 아키텍처입니다.
-
ActiveWizard 무료 평가판
ActiveWizard는 사용하기 쉬운 ActiveX 컨트롤로 'Windows 2000 스타일' 마법사를 만들 수 있습니다. 양식에 ActiveWizard 컨트롤을 넣고 ActivePane 컨트롤을 추가하고 ActiveWizard 컨트롤이 자동으로 창 크기를 조정합니다. ActivePane 컨트롤은 다른 컨트롤을 넣을 수 있는 컨테이너처럼 작동합니다. 몇 분 안에 마법사를 만드세요! 모든 창의 자동
-
Tilem - TI Linux Emulator 무료
텍사스 인스트루먼트 그래프 계산기의 Z80 시리즈에 대한 에뮬레이터. TI-81을 제외한 모든 현재 Z80 계산기 모델을 에뮬레이트하며 디버거, 외부 파일 로딩 및 플래시 앱 로딩을 포함한 전체 플래시 지원을 특징으로 합니다.
-
CUBRID Cluster 무료
http://www.cubrid.org/cluster 참조하십시오. CUBRID 클러스터는 글로벌 스키마, 분산 파티션 및 부하 균형 기능을 포함하여 높은 확장성을 위해 높은 확장성을 위해 오픈 소스 클러스터 DBMS입니다. CUBRID 프로젝트의 스핀 오프 프로젝트이며 NHN에서 지원합니다.
-
Resolution Changer FREE 무료
#이 응용 프로그램은 루트 ##Resolution 체인저가 장치의 해상도를 변경할 수 있는 응용 프로그램입니다. 이제까지 TV 또는 모니터에 장치를 연결하고 검은 막대를 얻을? TV에 전체 해상도 출력을 얻을 수 없습니다? 그럼 에 와서 해상도 체인저! 이 응용 프로그램을 사용하면 두 번째 디스플레이 또는 모니터에 맞게 자신의 해상도를 설정할 수 있습니다. 그것은 모두 16:10 과 16:9 측면!
-
Looper Event / Alert System 무료
루퍼 이벤트 / 경고 시스템은 주로 네트워크 관리에 사용되는 응용 프로그램으로 경고 모니터링 및 리디렉션을 수행합니다. 그것은 마음에 극단적 인 단순성을 염두에 두고 설계되었으며 매우 모듈화되어 있습니다. 또한 넷쿨 프로브 또는 gqateway로 사용됩니다.
-
Keystone Parser 무료
키스톤 파서는 ISO C++ 언어 정의를 위한 파서 프런트 엔드입니다.클로우소 API가 포함되어 있습니다.
-
Easy Recovery 무료
 ââÂ... 루트 Acces 필요 Ãââ. 이 응용 프로그램은 사용자 정의 복구를 설치, 단순히 그것에 경로를 입력하고 깜박입니다나는 아무것도에 대한 책임이 없습니다!!! 주요 기기(100% 작동): 삼성 갤럭시 W (GT-I8150)- 삼성 갤럭시 S II (GT-I9100)- 삼성 갤럭시 S III (GT-I9300)-삼성 갤럭시 넥서스 (GT-I9250)-HTC 하나 X-아수스 넥서스 7-L
-
Privacy Blocker 무료 평가판
($1.99 한정된 시간 동안, 일반 가격은 $3.99)(개인 정보 보호 차단기를 구입하기 전에 개인 정보 보호 검사관을 시도하십시오)☆ & AT&T 사용자는 이 앱의 주요 기능을 사용할 수 있는 "사이드로딩"이 필요합니다.개인 정보 보호 차단기는 완전히 당신을 보호하고 귀하의 개인 정보를 수집에서 응용 프로그램을 중지 할 수있는 유일한 방법입니다. 개인 정보
-
RKFS - A new filesystem for Linux 무료
RKFS - 리눅스를위한 새로운 혁신적인 파일 시스템. 목표는 Ext2로 모든 기능을 가지고 있지만 작은 장치 (용량이 적은 장치)를 갖춘 간단하지만 강력한 파일 시스템을 제공하는 것입니다. 그것은 매우 견고하고 우수한 성능을 제공합니다.