Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Software safety and security tools for analysis and verification için kapak resmi
      1. 
      Software safety and security tools for analysis and verification
      by 
      NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell, Germany)
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification -- Congresses.
      Principles of model checking için kapak resmi
      2. 
      Principles of model checking
      by 
      Baier, Christel.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Metamodeling-driven IP reuse for SoC integration and microprocessor design için kapak resmi
      3. 
      Metamodeling-driven IP reuse for SoC integration and microprocessor design
      by 
      Mathaikutty, Deepak A.
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Verification of systems and circuits using LOTOS, Petri Nets, and CCS için kapak resmi
      4. 
      Verification of systems and circuits using LOTOS, Petri Nets, and CCS
      by 
      Yoeli, Michael, 1917-
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification.
      Verification of infinite-state systems with applications to security için kapak resmi
      5. 
      Verification of infinite-state systems with applications to security
      by 
      NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)
      Click to View
      Format: 
      Alıntı: 
      Computer software -- Verification -- Congresses.