Skip to content
  • Tentang IOS
  • Join Us
  • Hubungi Kami
  • Organisasi Mitra
  • Akun Anda
  • Keluar
  • Masuk
  • Bahasa Indonesia
    • Bahasa Indonesia
    • English
Lanjutan
  • Cari:
  • Koleksi Nasional
Menampilkan 1 - 3 of 3 untuk pencarian: '', lama mencari: 0.09s
Daftar  Grid  Visual 
Cover Image
Artifact for TACAS 2022 Paper: Property Directed Reachability for Generalized Petri Nets
info software Journal
oleh Amat, Nicolas, Dal Zilio, Silvano, Hujsa, Thomas
Terbitan: 2022
Institusi: ZAIN Publications
Gedung: Cognizance Journal of Multidisciplinary Studies
Lokasi Repository IOS Number
StockholmCognizance Journal of Multidisciplinary StudiesIOS16997.5863379
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
A GUI-driven prototype for synthesizing self-adaptation decision
Article Journal
oleh Azlan Ismail, Susanti Intu, Suzana Zambri
Terbitan: 2020
Institusi: ZAIN Publications
Gedung: Cognizance Journal of Multidisciplinary Studies
Lokasi Repository IOS Number
StockholmCognizance Journal of Multidisciplinary StudiesIOS16997.4470259
Available online:
Get online
Favorit
Tersimpan di:
Cover Image
Replication Package for Article "CoVeriTest: Cooperative Verifier-Based Testing" in Proc. FASE '19
info dataset eJournal
oleh Beyer, Dirk, Jakobs, Marie-Christine
Terbitan: 2019
Institusi: Universitas PGRI Palembang
Gedung: Perpustakaan Universitas PGRI Palembang
Lokasi Repository IOS Number
KOTA PALEMBANGMarga Life in South Sumatra in the Past: Puyang Concept Sacrificed and DemythosizedIOS17403.2566735
Available online:
Get online
Favorit
Tersimpan di:
Search Tools: Get RSS Feed — Email this Search — Save Search

Persempit Pencarian

Hapus Filter
Topik: Model checking
Sektor
3 Library Special 2 University 1
Institusi
2 ZAIN Publications 1 Universitas PGRI Palembang
Koleksi
2 Cognizance Journal of Multidisciplinary Studies
Format
3 Journal Journal 2 Article 1 EJournal 1 2 Other Info 2 Dataset 1 Software 1 less ...
Topik
Model checking 1 Autonomic clouds 1 Conditional model checking 1 Cooperative verification 1 Petri nets 1 Reachability more ... 1 SMT solving 1 Self-adaptation 1 Software testing 1 Stochastic games 1 Synthesis 1 Test coverage 1 Test-case generation less ...
Pengarang
1 Amat, Nicolas 1 Azlan Ismail 1 Beyer, Dirk 1 Dal Zilio, Silvano 1 Hujsa, Thomas 1 Jakobs, Marie-Christine more ... 1 Susanti Intu 1 Suzana Zambri less ...
Bahasa
2 eng
Tahun
1 2019 1 2020 1 2022

Opsi Pencarian

  • Sejarah Pencarian
  • Pencarian Lanjut

Temukan Lebih Banyak

  • Penelusuran Katalog
  • Penelusuran Alfabetis

Butuh Bantuan?

  • Tips Pencarian
  • Admin
  • Hubungi Kami
© 2025 Perpustakaan Nasional Republik Indonesia
Loading...