Hasil Pencarian - Igor Buzhinsky

  • Menampilkan 1 - 4 hasil dari 4
Perbaiki Hasil
  1. 1
    Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems

    Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems oleh Igor Buzhinsky, Antti Pakonen

    Diterbitkan 2020-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions

    Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions oleh Igor Buzhinsky, Antti Pakonen

    Diterbitkan 2019-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Realistic Text Replacement With Non-Uniform Style Conditioning

    Realistic Text Replacement With Non-Uniform Style Conditioning oleh Arseny Nerinovsky, Igor Buzhinsky, Andrey Filchenkov

    Diterbitkan 2021-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Oeritte: User-Friendly Counterexample Explanation for Model Checking

    Oeritte: User-Friendly Counterexample Explanation for Model Checking oleh Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

    Diterbitkan 2021-01-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: