Prześlij oprogramowanie
  1. W: strona główna
  2. Windows
  3. Innych
  4. MIRACH

MIRACH

Licencji: Wolna ‎Rozmiar pliku: N/A
‎Ocena użytkowników: 3.0/5 - ‎1 ‎Głosów
Pobierz

Opracowujemy MIRACH, statystyczny online model sprawdzania modeli ścieżek biologicznych, w oparciu o formalizm PLTLs do wyrażania zasad / właściwości, które mają być sprawdzone. Mirach może obecnie sprawdzać ścieżki modeli napisanych w CSML lub SBML.

historia wersji

  • Wersja files opublikowany na 2010-06-22
    Kilka poprawek i aktualizacji
  • Wersja N/A opublikowany na 2010-06-22

Szczegóły programu

Programy pokrewne

  • Java RCX API Wolna

    Interfejs API Java do sterowania lego Mindstorms RCX (wersja 2.0). Ten interfejs API różni się od zamykania implementacji Java tym, że będzie zawierał kontroler wieży USB IR oparty na win32.

  • ACMLCWebsite Wolna

    Jest to strona internetowa rozdziału ACM w Lebanon.In tej stronie zamierzamy korzystać z ASP.net, MySQL, Flash i innych programów. Strona internetowa będzie łącznikiem między członkami kapituły ACM w Libanie, starając się uła

  • sopa opensource operating system Wolna

    SOPA to hobby opensource system operacyjny napisany zarówno w C i Assembly.Pierwszym celem tego projektu jest dla mnie, aby dowiedzieć się i miejmy nadzieję pomóc innym, gdy dowiedzieć się o rozwoju systemu operacyjnego.

  • ucabot Wolna

    Ucabot es una asociacin de estudiantes de robotica. Ucabot to grupa studentów robotyki. Tworzymy i współpracujemy z otwartym oprogramowaniem i otwartym sprzętem. Ta grupa jest tworzona przez Amuca (Asociation studentów Cadiz

  • Matrex Wolna

    Matrex jest lekkim wektorowym arkuszem kalkulacyjnym: oblicza bloki wartości, a nie pojedyncze komórki; jest silnie wielowątkowy; użytkownicy mogą współpracować na arkuszach za pomocą serwera. Adaptery do matlab, scilab, okta

  • JXML2OWL Wolna

    Projekt JXML2OWL jest podzielony na dwa podprojekty: JXML2OWL API, bibliotekę mapowania schematów XML na OWL Ontologie na plazmie JAVA. JXML2OWL Mapper, łatwa w użyciu samodzielna aplikacja z graficznym interfejsem użytkownik

  • Guide and Cheats for 100 Exits Wolna

    Wszystko około 100 wyjść! Korzystając z naszych wskazówek, będziesz w stanie zrozumieć logikę każdego poziomu i przekazać go pomyślnie! Ă ̆  ~  ... Oryginalna zawartość i grafika. Ă ̆  ~  ... Łatwy interfaceà ¢  ~ ... W

  • Swift Meeting Management System Wolna

    SMMS (Swift Meeting Management System) to internetowy system planowania zasobów spotkań. SMMS jest bazą na technologii internetowej Java (Groovy / Grails), zamierza być łatwy do wdrożenia, użytkowania, rozszerzenia i integrac

  • Spasmos Wolna

    Spasmos to pakiet Pythona, który pozwala naukowcom symulować dynamikę wysoce kolizyjnych plazm przy użyciu wielu metod numerycznych.

  • Bilingual newspaper Vietnamese Wolna

    Dwujęzyczna gazeta wietnamska i angielska - Android VersionOrient Light Inc ma nowy produkt EV News Gazeta Reading Plus dwujęzyczny wietnamski i angielski elastycznyAngie angielskie artykuły zaczerpnięte z wielu źródeł, takic