REDLIB 8
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
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
Circa REDLIB
* Libreria di controllo/verifica della simulazione del modello per il sistema in tempo reale con modelli in tempo denso in C con tecnologia CRD (Clock-Restriction Diagrams). * Libreria di analisi parametrica per sistemi lineari-ibridi in C con tecnologia HRD (Hybrid-Restriction Diagram)
Programmi correlati
-
Open Pandora's Box Gratuito
Pandora è un bot intelligente artificiale basato sul web. Pandora è un'architettura di intelligenza artificiale basata su componenti che include, memoria del database, XML, voce, voice rec, chat, IRC, HTTP, Wiktionary, Freeba
-
ActiveWizard Prova gratuita
ActiveWizard è un controllo ActiveX di facile utilizzo che consente di creare procedure guidate "stile Windows 2000". È possibile inserire un controllo ActiveWizard nel form, aggiungere alcuni controlli ActivePane e il contro
-
Tilem - TI Linux Emulator Gratuito
Un emulatore per la serie Z80 di calcolatori grafici Texas Instruments. Emula tutti gli attuali modelli di calcolatrice Z80 ad eccezione del TI-81 e dispone di un debugger, caricamento di file esterni e supporto flash complet
-
CUBRID Cluster Gratuito
Vedi http://www.cubrid.org/cluster. Cluster CUBRID è un DBMS cluster open source per un'elevata scalabilità, tra cui schema globale, partizione distribuita e funzionalità di bilanciamento del carico. Si tratta di un progetto
-
Resolution Changer FREE Gratuito
####### QUESTA APP RICHIEDE ROOT #######Resolution Changer è un'app che consente di modificare la risoluzione del dispositivo. Hai mai collegato il tuo dispositivo alla TV o al monitor e hai barre nere? Non sei in grado di ot
-
Looper Event / Alert System Gratuito
Il Looper Event / Alert System è un'applicazione utilizzata principalmente per la gestione della rete per eseguire il monitoraggio e il reindirizzamento degli avvisi. È progettato pensando all'estrema semplicità ed è altament
-
Keystone Parser Gratuito
Keystone Parser è un front-end del parser per la definizione del linguaggio ISO C++.L'API Clouseau è inclusa.
-
Easy Recovery Gratuito
Io... Gli acces root avevano bisogno di... Questa app installa un ripristino personalizzato, basta inserire il percorso e verrà lampeggiatoIo non sono responsabile di nulla!!! Dispositivi in primo piano (100 % funzionante):-
-
Privacy Blocker Prova gratuita
($ 1.99 per un periodo di tempo limitato, il prezzo normale sarà $ 3.99)(Provare Privacy Inspector prima di acquistare Privacy Blocker)☆ utenti AT&T devono "SideLoading" abilitato per usare la funzionalità prin
-
RKFS - A new filesystem for Linux Gratuito
RKFS - Un nuovo file system innovativo per Linux. L'obiettivo è quello di fornire un file system semplice ma potente che abbia tutte le funzionalità come Ext2 ma per piccoli dispositivi (dispositivi con minore capacità). È al