Hasil Pencarian - Antti Pakonen

  • 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
    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:
  4. 4
    Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures

    Formal Verification of Nonfunctional Requirements of Overall Instrumentation and Control Architectures oleh Polina Ovsiannikova, Antti Pakonen, Dmitry Muromsky, Maksim Kobzev, Viktor Dubinin, Valeriy Vyatkin

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

Alat Pencarian: