Selection Criteria for Statistical Model Checking

YAYIN ID:

6895563

KAPSAM AD:

Uluslararası

BILDIRI TUR:

Tam metin bildiri

BILDIRI ADI:

Selection Criteria for Statistical Model Checking

YAZAR ADI:

BAKIR MEHMET EMİN, Stannett Mike

ETKINLIK ADI:

Workshop on Membrane Computing, WMC 2016

YAYIN DILI ADI:

İngilizce

YAYIN DURUMU AD:

Yayımlanmamış

BASIM TARIHI:

DOI:

BASIM TURU AD:

ERISIM LINKI:

ALAN BILGISI:

Mühendislik Temel Alanı>Bilgisayar Bilimleri ve Mühendisliği

BILDIRI SUNUM TURU AD:

Sözlü Sunum

ETKINLIK BIT TARIHI:

ETKINLIK BAS TARIHI:

11.07.2016