6895533
Uluslararası
Bilimsel Kitap
Membrane Computing
Bölüm(ler)
Comparative Analysis of Statistical Model Checking Tools
BAKIR MEHMET EMİN, Gheorghe Marian, Konur Savas, Stannett Mike
Leporati A., Rozenberg G., Salomaa A., Zandron C.
Springer, Cham
İngilizce
2017
978-3-319-54071-9
1
119
135
Basılı+Elektronik
Mühendislik Temel Alanı>Bilgisayar Bilimleri ve Mühendisliği