Invia software
  1. Casa
  2. Windows
  3. Altro
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 5.0/5 - ‎1 ‎Voti
Scaricare

MCMAS-C è un'estensione del più famoso modello checker MCMAS, che viene implementato per verificare il sistema multi-agente. La nostra estensione è correlata al controllo degli impegni sociali che gli agenti possono creare e del loro adempimento. È un controllo del modello per la logica CTLC.

cronologia delle versioni

  • Versione files pubblicato il 2011-01-25
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-01-25

Dettagli del programma

Programmi correlati

  • MConvert - Multiformat Converter Gratuito

    MConvert è un progetto open source che ha lo scopo di sviluppare uno strumento per la conversione dei file. Utilizzando altri strumenti open source, MConvert desidera fornire un'ampia gamma di possibilità per la trasformazion

  • WinCRC32 Gratuito

    WINCRC32 utilizza la tecnologia CRC-32 per controllare ogni file e notifica eventuali file potenzialmente danneggiati, danneggiati, non corretti o mancanti per risparmiare ore di download solo per scoprire che manca 1 file o

  • Web Pictures Downloader Prova gratuita

    Web Pictures Downloader è un downloader di immagini internet per scaricare immagini, foto, immagini, JPG, GIF dal Web o da Internet. Può accedere ai tuoi siti Web preferiti con un massimo di 8 thread contemporaneamente. Anali

  • A shoot'em up game for the Maemo Gratuito

    Un gioco isometrico shoot'em up per la piattaforma Maemo. L'idea di base è generare un gioco in cui giocatore (o giocatori) possono generare i propri personaggi e battere l'uno contro l'altro o nemici controllati dal computer

  • SudokuGenerator in c++ and stl Gratuito

    Generatore di puzzle Sudoku che genera puzzle Sudoku con un dato livello di difficoltà. I puzzle generati hanno una soluzione unica e possono essere risolti senza fare marcia indietro o indovinare. Il software è scritto in c+

  • Oxygen Basic Gratuito

    Compilatore JIT compatto incorporabile che legge le intestazioni C e viene compilato nel codice del computer x86. Viene eseguito direttamente in memoria o crea DLL e file EXE. Supporta l'overload e l'OOP. Attualmente disponib

  • Lua Conio Gratuito

    Lua Conio è wrapper per Turbo C conio, utilizzato per creare interfacce utente di testo sviluppate da Gabriele Secci.

  • Book Keeper System Gratuito

    Un semplice sistema di gestione delle librerie scritto in Java usando Struts + JSTL e JDBC. Viene utilizzato un classico approccio di architettura a più livelli. Attualmente le DAO funzionano fuori dalla scatola con mySql.

  • Counter Strike 1.6 File Gratuito

    tlchargez des fichiers en rapport avec le serveur [TFS21] Firefox Server

  • Multimodal Engine Platform Gratuito

    Il sistema MME è presentato come una necessità di comunicare tra dispositivi eterogenei e stabilire la comunicazione tra utente e applicazione utilizzando diversi tipi di modalità.