Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. The PEP tool

The PEP tool 2.0b

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 5.0/5 - ‎1 ‎Stemmen
Downloaden

PEP is een modellerings- en verificatiekader voor parallelle systemen, dat een groot aantal verschillende modelleringstalen en verificatietechnieken biedt (bijvoorbeeld SDL, Petri netten en modelcontrole)

versiegeschiedenis

  • Versie 2.0beta4 geplaatst op 2004-09-13
    Verschillende oplossingen en updates
  • Versie 2.0beta4 geplaatst op 2004-09-13

Programmadetails

Gerelateerde programma's

  • JDPF Gratis

    Dit programma is een open source software gratis voor zowel persoonlijk als commercieel gebruik, dus de perfecte keuze voor degenen die een alternatief willen voor meer bekende betaalde programma's.

  • VDK Library Gratis

    VDK Library is een framework in C++ dat GTK+ GUI-bibliotheken bindt, mits voor zowel Linux als Windows een basisbibliotheek is voor VDKBuilder-project. Onlangs is het project verdeeld en VDK zet de ontwikkeling door zijn eige

  • Efes Gratis

    Bytecode-gebaseerde Regeling (R^5RS) implementatie. Snel, compact, stabiel, geschikt voor onderwijs en experimenten.

  • Light Torch Flash Widget Pro Gratis

    Widget om de led (flitser) van de camera in/uit te zetten met slechts een klik. Nuttig als een fakkel.

  • Ayra - VCL Report Generator Gratis

    Een rapport ontwerper en generator applicatie geschreven in Delphi, met een WYSIWYG rapport ontwerper, een VCL component voor rapporten generatie, geldig voor Delphi 5 tot 2006, en een beetje CommandLine applicatie voor gespr

  • ES32 - EEG Analysis Gratis

    ES32 is een windows-programma voor de analyse van EEG-gegevensbestanden zoals geproduceerd door de NEUROSCAN (tm) Acquire applicatie.

  • LJOS - Java and database integration Gratis

    LJOS staat voor de volgorde van woorden: Linux, Java, Operating System. Dit is een poging om een directe bytecode-extensie voor de Linux-kernel te maken die nauw is geïntegreerd met een database als een gemeenschappelijke ops

  • DROIDinfo (Android 1.6+) Gratis

    DROIDinfo geeft technische informatie weer over een Android-apparaat. Het is gericht op ontwikkelaars die een overzicht willen krijgen van de hardware van een apparaat, het Linux/Android-systeem en de Java-eigenschappen zoals

  • Lumbermill - Log4J/JSR47 GUI Gratis

    Lumbermill is een visueel log processing en distributiecentrum voor Log4j en (in 2.0) java.util.logging (JSR47). Het is een Swing / GUI standalone applicatie die het bekijken en archiveren van log gebeurtenissen ondersteunt.

  • EmbeddedImageBuilder Gratis

    Het doel van dit project is om een methode te bieden om een opstartbare afbeelding te bouwen voor kleine embedded systemen, gebaseerd op de oorspronkelijke pakketbronnen, met name buildroot, en om de distributie- en configura