MCTK: a symbolic model checker for MAS

İlgili Programlar

• MedIC Automated Pipeline Scheduler Ücret -siz

  Mipav (Tıbbi Görüntü İşleme, Analiz ve Görselleştirme) eklenti çerçevesinin, kullanıcının çok aşamalı işleme görevleri olan boru hatlarını tasarlamasına ve yürütmesine olanak tanıyan bir uzantısıdır.

• SmartHASH Ücret -siz

  SmartHASH analiz sürecinde homurtu iş çıkarmak için tasarlanmış bir bilgisayar adli tıp aracıdır; bu şekilde çoğu araştırmanın analiz kısmında önemli ölçüde zaman tasarrufu sağlar.

• Entropy Ücret -siz

  BU PROJE ARTıK SOURCEFORGE'DA BARıNDıRıLAN VEYA GÜNCELLENMİş

• Flash Authoring iPhone Components Ücret -siz

  IPhone Geliştirme ile yardımcı olmak için Flash Yazma Bileşenleri. Eğer Source Forge ID ile [email protected] de bana e-posta gönderebilirsiniz eğer projeye katılmak istiyorum.

• Asp.net Web Utilities Framework Ücret -siz

  Asp.net web programları çerçevesi bana (ve diğerleri) gelecekteki projelerde yardımcı olmak için Çerçeve sadece basit sınıflar ve kullanıcı kontrolleri vb ortak işlevler için sağlayacaktır - Kutulu ve uzatılmaya hazır (AS I

• DARKSTARgames Open Source Project Ücret -siz

  DARKSTARgames bir hobisi oyun geliştirme projesidir. 3D motoreven 2007 hedeflenen oyun sürümü ile birlikte Açık Kaynak olarak yayınlanacaktır. Ancak biz zaten şimdi yazılım var, bu halk için ilginç olabilir.

• Workgroup Manager Ücret -siz

  Workgroup Manager (WGM), uzaktan kullanıcı/grup yönetimi ve çalışma grubu optimizasyonu sağlayan bir Windows iş grubu yönetim aracıdır. Kullanıcılar ve gruplar eklenebilir/düzenlenebilir/silinebilir ve kullanıcılar sürükleyer

• ascentemu Ücret -siz

  Ascent, World of Warcraft için C++ tabanlı bir sunucu yazılım paketiydi.Bu depo, artık kullanılmayan projenin bir yedeklemesidir.Yerini Arcemu'ya attı.

• Command-Line Argument Parser For Java Ücret -siz

  Bu, Dinleyiciler ve Etkinlikler yoluyla Java'daki komut satırı bağımsız değişkenlerini Nesne Yönelimli bir şekilde kolayca ayrıştırma için bir kitaplıktır.

• L2IrcBot Ücret -siz

  L2IrcBot, bir veya daha fazla config-files tarafından tanımlanan Lineage 2-Servers'ın on-/offline durumunu kontrol etmek için PircBot API'sinin bir uygulamasıdır.