LTL3 tools 0.0.7
5 saniye içinde indirebilirsiniz.
İndirmeye başlamak için aşağıdaki Harici İndirme Linkine de tıklayabilirsiniz:
http://sourceforge.net/projects/ltl3tools/files/ltl3tools/0.0.7/ltl3tools-0.0.7.tar.gz/download
Hakkı -nda LTL3 tools
LTL formüllerinden monitör ("watchdogs") oluşturmak için kullanılabilecek araçlar topluluğu. Bu, çalışma zamanı doğrulama alanından bilinir. Daha fazla bilgi için ilişkili proje ana sayfasına bakın.
İlgili Programlar
-
Neve Ücret -siz
NEtwork Görselleştirme Ortamı, ağların, özellikle de iletişim ağlarının hem gerçek zamanlı hem de simülasyon aracı olarak 3Boyutlu görselleştirme ve etkileşim için bir çerçevedir. JMX/Java3D'ye dayanmaktadır.
-
Wikidsmart Ücret -siz
zAgile's Wikidsmart bir semantik wiki ve bilgi deposu içine Confluence döner. Uygulama birlikte çalışabilirliği için anlamsal web altyapısı olan zCALM üzerine inşa edilmiş olan bu altyapı, araçlara ve uygulamalara bağlayıcıla
-
sdf2xyz2sdf Ücret -siz
MMFF94 atom türleri, bağ türleri ve ücretleri otomatik atama ile TINKER XYZ dosyaları (ve viceversa) içine SDF dosyaları dönüştürmek için bir açık kaynak yazılım
-
Alcoholics Anonymous 12 Steps Ücretsiz Deneme
Bağımlılık kurtarma yardımcı olur ve herhangi bir AA üyesi için yararlı bir referans sağlar.Büyük Kitap, Ayıklık Hesap Makinesi, 12 Adım & Gelenekler, AA Toplantıları, Dualar bul.Özellikler şunlardır:Büyük Kitap
-
Drum Count Ücret -siz
Drum Count, davul setinde çalınan vuruş sayısını ölçmek için sesi gerçek zamanlı olarak analiz eden basit bir araçtır.
-
FBReader LitRes plugin Ücretsiz Deneme
FBReader litres.ru tümleştirme için ek özellikler.Tek tıklamayla litreler erişim depolar.Yeni kullanıcıları doğrudan FBReader'dan kaydedin, kısa mesajlar ve kredi kartları yla hesabınızı toplayın.
-
quickdoc Ücret -siz
QuickDoc basit bir dil kullanarak düz metin dosyalarından belgeleri okur ve PDF, HTML, Java Yardım ve XML gibi diğer biçimlere belge ihdar bir java belge arayıcı.
-
The Earth Science Markup Language Ücret -siz
ESML, uygulamaların Earth Science'a özgü heterojen biçimlerde belirli veri kümelerini sorunsuz bir şekilde takmasını ve oynamasını sağlamak için harici meta verileri kullanan bir değişim teknolojisidir.
-
RoboCup GameController Ücret -siz
RoboCup GameController, RoboCup Humanoid League ve Standard Platform League'de kullanılan açık kaynak kodlu bir yazılımdır. Hakem komutları oyuncuların daha yüksek bir özerklik ulaşmak için kablosuz ağ üzerinden oyun alanında
-
PMath Ücret -siz
PMath laTeX onları dönüştürmek için olasılığı ile matematiksel metinlerin bir Palm tabanlı WYSIWYG editörüdür.