Software verzenden
  1. Home
  2. Windows
  3. Andere
  4. Bogor-PubSub

Bogor-PubSub 0.1

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

Bogor-PubSub is een set van extensies voor de Bogor model checker waardoor nauwkeurige, automatische verificatie van Publish-Subscribe infrastructuren.

versiegeschiedenis

  • Versie loupe-0.1 geplaatst op 2009-05-06
    Verschillende oplossingen en updates
  • Versie loupe-0.1 geplaatst op 2009-05-06

Programmadetails

Gerelateerde programma's

  • Neural network designer Gratis

    Dit project bestaat uit een windows gebaseerde designer applicatie en een bibliotheek (die kan draaien op meerdere platforms, waaronder Android) samen met verschillende demo-applicaties (waaronder een MVC3 chatbot client en e

  • HRMEdit Gratis

    Toepassing voor het bekijken en vooral bewerken van HRM-bestanden gegenereerd door Polar Heart Rate Monitors (bijvoorbeeld S720i, S725X, S625X). Het biedt een GUI voor het vinden van fouten en het handmatig corrigeren van mon

  • MSLK Gratis

    MSLK biedt de vooraf gecompileerde Win32 binaries van een aantal uitstekende porject met een GPL of soortgelijke open source licentie. Hier zal op de hoogte te houden.

  • phpMySetiStats Gratis

    phpMySetiStats is een hulpmiddel voor het weergeven van SETI@home statistieken van lopende processen en persoonlijke statistieken uit Berkeley. Het maakt gebruik van MySQL op backened. Crontab wordt ook aanbevolen.

  • MbLoc Locator Gratis

    Softwarefuncties:1. Positionering op de basisstations van de mobiele operator, evenals GPS (Als deze functie is ingeschakeld in uw telefoon [Instellingen-> Locatie en beveiliging-> Gps voor satellieten]).2. Geef gedetai

  • SISC Gratis

    SISC is een uitbredenbare Java-gebaseerde tolk van de algoritmische taal Regeling. SISC maakt gebruik van moderne interpretatietechnieken en presteert handig beter dan alle bestaande Java-tolken (vaak met meer dan een orde

  • Druide DB : XML database API for java Gratis

    DruideDB is een ingesloten database (gebaseerd op Object/XML mapping bestanden) voor Java-toepassingen. Zowel broncode (DAO) als persistentielaag (mapping) worden gegenereerd. Deze DB slaat alles op als tekenreeksen en behand

  • LGTV embedded OS (douglas) Gratis

    Dit is een kopie van de officiële bronnen die werden verstrekt aan mij op GPL vervulling verzoek van LG Electronics voor de software op mijn 47LG70 LCD HDTV. Velen hebben problemen met het verkrijgen van deze als LG. Omvat li

  • nppSmartEdit Gratis

    Nodepad++ plugin is in staat om automatisch beugels te plaatsen, zodat het gemakkelijk was om de eerste teksten te lezen

  • log4j, fast and flexible java logging Gratis

    log4j is een debugging tool, geschreven in Java, die verklaringen logs naar een bestand, een java.io.Writer, of een syslog daemon.