Hantar Perisian
  1. Rumah
  2. Windows
  3. Lain
  4. Visual Figaro

Visual Figaro

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.5/5 - ‎2 ‎Undi
Muat turun

Alam sekitar untuk membangunkan asas pengetahuan untuk alat pemodelan kebolehpercayaan KB3 yang digunakan oleh EDF (http://innovation.edf.com/). KB3 adalah berdasarkan bahasa pemodelan kebolehpercayaan FIGARO (simulasi masa yang berterusan, proses stochastic negeri-negeri diskriminasi).

sejarah versi

  • Versi VisualFigaro diposkan pada 2011-03-07
    Beberapa pembaikan dan pengemaskinian
  • Versi N/A diposkan pada 2011-03-07

Butiran Atur Cara

Atur Cara Berkaitan

  • WinBook Laptop to Hotspot Converter Percubaan Percuma

    WinBook Laptop ke Hotspot Converter menukar komputer riba WinBook anda ke hotspot tanpa wayar.Dengan perisian ini, komputer riba WinBook anda (platform Windows) dijadikan hotspot Wi-Fi supaya anda boleh berkongsi Interne

  • VoiceoverP2P Percuma

    Projek ini adalah mengenai menghantar contoh utusan berdasarkan teknologi P2P untuk membangunkan. Ia boleh berjalan pada tingkap dan sistem linux, kod teras ditulis oleh C.

  • International Molecular-Exchange Percuma

    Projek IMEx menyediakan piawaian, dokumentasi dan perisian yang digunakan oleh konsortium International Molecular Exchange (IMEx). Tujuan konsortium ini adalah pertukaran tetap, percuma semua data yang diserahkan pengguna pad

  • ddosperl Percuma

    DDOS Perl adalah penafian skrip pengendalian serangan perkhidmatan di Perl, seperti DDOS Deflate tetapi dengan perbezaan utama. Boleh berjalan pada selang sub 1 minit Diharamkan IP boleh disekat untuk masa yang semakin mening

  • Kreserva - an rsync based backup utility Percuma

    Reserva adalah utiliti sandaran berasaskan rsync. Ia bertujuan untuk menjadi frontend dipermudahkan untuk rsync dan melakukan yang cekap dan munasabah mendapatkan sandaran fail / direktori.

  • TLStest Percuma

    TLStest adalah utiliti baris perintah untuk mendapatkan maklumat terperinci mengenai sokongan SSL / TLS hos / domain pada port yang dikehendaki.Untuk port 25 atau 110 sambungan plaintext ditubuhkan terlebih dahulu dan bertu

  • spam-tracker Percuma

    Spam-tracker adalah projek perisian untuk menggambarkan hubungan antara penuai e-mel dan e-mel spammer. Perisian ini akan mengesan aktiviti mereka untuk mempunyai bukti sebagai asas undang-undang untuk pendakwaan spam.

  • Utopia Attack Calculator Percuma

    Ini adalah program untuk membantu pemain permainan berasaskan web yang dikenali sebagai Utopia (http://games.swirve.com/utopia) untuk mensimulasikan serangan dalam permainan. Mempunyai keupayaan untuk menunjukkan keuntungan t

  • C++ Man Page Project Percuma

    Program ini adalah perisian sumber terbuka percuma untuk kegunaan peribadi dan komersial, oleh itu pilihan yang tepat bagi mereka yang mahukan alternatif untuk program berbayar yang lebih terkenal.

  • ArchivePool Percuma

    Projek ini adalah katalog media OS yang sangat diperlukan (muzik, filem ...), ditulis di Jawa, yang boleh dilanjutkan dengan sistem media tambahan dan pangkalan data oleh pemalam. Ia harus menggunakan perkhidmatan seperti pro