Yazılım Gönder
  1. Ev
  2. Windows
  3. Diğer
  4. MCMAS-C Model Checker

MCMAS-C Model Checker

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 5.0/5 - ‎1 ‎Oy
Indir

MCMAS-C en ünlü model denetleyicisi MCMAS bir uzantısıdır, hangi multi-agent sistemi doğrulamak için uygulanır. Bizim uzantısı ajanlar oluşturabilirsiniz ve bunların yerine getirilmesi sosyal taahhütleri kontrol etmek için ilgilidir. CTLC mantığı için model denetleyicisidir.

sürüm geçmişi

  • Sürüm files tarihinde gönderildi 2011-01-25
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2011-01-25

Program Detayları

İlgili Programlar

  • MConvert - Multiformat Converter Ücret -siz

    MConvert dosyaları dönüştürmek için bir araç geliştirmek için tasarlanmıştır açık kaynaklı bir projedir. MConvert, diğer açık kaynak araçlarını kullanarak dosya biçimlerini dönüştürmek için çok çeşitli olanaklar sağlamak iste

  • WinCRC32 Ücret -siz

    WINCRC32 her dosyayı kontrol etmek için CRC-32 teknolojisini kullanır ve yalnızca 1 dosya eksik veya son dosya bir CRC checksum hatası var bulmak için indirme saatleri kaydetmek için herhangi bir potansiyel kötü, bozuk, yanlı

  • Web Pictures Downloader Ücretsiz Deneme

    Web Pictures Downloader resimleri indirmek için bir internet resim downloader, fotoğraf, resim, JPG, GIF web veya internetten. En sevdiğiniz web sitelerine aynı anda en fazla 8 iş parçacığı ile erişebilir. Web sitesinin yapıs

  • A shoot'em up game for the Maemo Ücret -siz

    Maemo platformu için bir isometrik shoot'em oyunu. Temel fikir oyuncu (veya oyuncular) birbirlerine veya bilgisayar kontrollü düşmanlara karşı kendi karakterleri ve sopa üretebilir bir oyun oluşturmaktır.

  • SudokuGenerator in c++ and stl Ücret -siz

    Zorluk belirli bir düzeyde Sudoku bulmaca lar oluşturur Sudoku bulmaca jeneratör. Oluşturulan bulmacalar benzersiz bir çözüm var ve geri izleme veya tahmin olmadan çözülebilir. Yazılım windows platformu için stl kullanılarak

  • Oxygen Basic Ücret -siz

    C üstbilgilerini okuyan ve x86 makine koduna derleyen kompakt gömme jit derleyicisi. Doğrudan bellekte yürütülür veya DLs ve EXE dosyaları oluşturur. Aşırı yükleme ve OOP'u destekler. Şu anda MS platformları için kullanılabil

  • Lua Conio Ücret -siz

    Lua Conio, Gabriele Secci tarafından geliştirilen metin kullanıcı arayüzleri oluşturmak için kullanılan Turbo C conio için sarıcıdır.

  • Book Keeper System Ücret -siz

    Struts + JSTL ve JDBC kullanılarak Java'da yazılmış basit bir kütüphane yönetim sistemi. Klasik katmanlı mimari yaklaşım kullanılır. Şu anda DAOs mySql ile kutunun dışında çalışmak.

  • Counter Strike 1.6 File Ücret -siz

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

  • Multimodal Engine Platform Ücret -siz

    MME sistemi heterojen cihazlar arasında iletişim kurmak ve farklı yöntemler kullanarak kullanıcı ve uygulama arasında iletişim kurmak için bir ihtiyaç olarak sunulmaktadır.