Skip to content
Toggle navigation
Tentang IOS
Join Us
Hubungi Kami
Organisasi Mitra
Akun Anda
Keluar
Masuk
Bahasa Indonesia
Bahasa Indonesia
English
Semua Kolom
Judul
Pengarang
Subject
Call Number
ISBN/ISSN
Tag
Cari
Lanjutan
Retain current filters
topic_facet:"Model checking"
Cari:
Koleksi Nasional
Menampilkan
1
-
3
of
3
untuk pencarian:
''
, lama mencari: 0.09s
Daftar
Grid
Visual
Sortir
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
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
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.5863379
Available online:
Get online
Favorit
Tersimpan di:
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
Stockholm
Cognizance Journal of Multidisciplinary Studies
IOS16997.4470259
Available online:
Get online
Favorit
Tersimpan di:
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 PALEMBANG
Marga Life in South Sumatra in the Past: Puyang Concept Sacrificed and Demythosized
IOS17403.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
×
Loading...