Hasil Pencarian - Igor Buzhinsky
Anda harus masuk terlebih dahulu
- Menampilkan 1 - 4 hasil dari 4
-
1
Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems oleh Igor Buzhinsky, Antti Pakonen
Diterbitkan 2020-01-01Dapatkan teks lengkap
Artikel -
2
Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions oleh Igor Buzhinsky, Antti Pakonen
Diterbitkan 2019-01-01Dapatkan teks lengkap
Artikel -
3
Realistic Text Replacement With Non-Uniform Style Conditioning oleh Arseny Nerinovsky, Igor Buzhinsky, Andrey Filchenkov
Diterbitkan 2021-01-01Dapatkan teks lengkap
Artikel -
4
Oeritte: User-Friendly Counterexample Explanation for Model Checking oleh Polina Ovsiannikova, Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin
Diterbitkan 2021-01-01Dapatkan teks lengkap
Artikel