GoGPT Best VPN GoSearch

Ulubiona usługa OnWorks

REDLIB do pobrania dla systemu Linux

Pobierz bezpłatnie aplikację REDLIB Linux do uruchamiania online w Ubuntu online, Fedorze online lub Debianie online

To jest aplikacja dla systemu Linux o nazwie REDLIB, której najnowszą wersję można pobrać jako redlib.a.130816.tar.gz. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.

Pobierz i uruchom online tę aplikację o nazwie REDLIB z OnWorks za darmo.

Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:

- 1. Pobrałem tę aplikację na swój komputer.

- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.

- 3. Prześlij tę aplikację w takim menedżerze plików.

- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.

- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.

- 6. Pobierz aplikację, zainstaluj ją i uruchom.

REDLIB


Ad


OPIS

* Biblioteka do sprawdzania/symulacji modeli dla systemu czasu rzeczywistego z modelami gęstego czasu w C z technologią CRD (Clock-Restriction Diagrams). * Biblioteka analiz parametrycznych dla systemów liniowo-hybrydowych w języku C z technologią HRD (Hybrid-Restriction Diagram)



Funkcjonalności

  • Sprawdzanie trybu symbolicznego i sprawdzanie symulacji
  • Komunikujące się modele automatów czasowych (CTA) i modele automatów liniowo-hybrydowych (LHA).
  • Otwórz bibliotekę interfejsu
  • Sprawdzanie modelu TCTL przy założeniach rzetelności
  • Symulacja targów CTA
  • Parametryczna analiza bezpieczeństwa LHA
  • Dostępny graficzny interfejs użytkownika do edycji modelu i symulacji symbolicznej ze sterowaniem API
  • Dostępnych jest wiele aplikacji, w tym ompca (analizator OpenMP C), pathg (symboliczny symulator CTA), solwer sudoku, konstruktor wykresów osiągalności itp.


Publiczność

Informatyka, nauka/badania, edukacja, przemysł telekomunikacyjny



Język programowania

C


Kategorie

Modelowanie, automatyzacja projektowania elektronicznego (EDA)

Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/redlib/. Został on hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.


Darmowe serwery i stacje robocze

Pobierz aplikacje Windows i Linux

Komendy systemu Linux

Ad




×
reklama
❤️Zrób zakupy, zarezerwuj lub kup tutaj — bezpłatnie, co pomaga utrzymać bezpłatne usługi.