BÜ Ana Sayfa
İletişim
Arama formu
Ara
Araştırma
MENÜ
Araştırma Politikaları
Araştırma Politikaları Danışma Kurulu
Araştırma Politikaları Komisyonu
BAP
BAP Komisyonu
BAP Koordinatörlüğü
Laboratuvarlar
Eğitim Fakültesi
Fen-Edebiyat Fakültesi
İktisadi ve İdari Bilimler Fakültesi
Mühendislik Fakültesi
Biyomedikal Mühendisliği Enstitüsü
Çevre Bilimleri Enstitüsü
Kandilli Rasathanesi Ve Deprem Araştırma Enstitüsü
Yaşam Bilimleri Ve Teknolojileri Uygulama Ve Araştırma Merkezi
Laboratuvar Talep Formları
Araştırma Merkezleri
UYGAR Merkezleri Komisyonu
UYGAR Merkezi Kurulma Aşamaları
UYGAR Merkezleri Faaliyet Raporu Formu
UYGAR Merkezleri
İleri Teknolojiler Arge Merkezi
Sabih Tansal Yüksek Akım Laboratuvarı
Milli Komiteler
Fikri ve Sınai Mülkiyet
BÜ Fikri ve Sınai Mülkiyet Politikası
Faydalı Linkler
Araştırma Çıktıları
Patentler
Yayınlar
Tezler
TÜBİTAK - Ulakbim Bilimsel Yayın Göstergeleri
Ödüller
Bilim Akademisi
BÜVAK
Marie Curie Araştırma Programları ve Bursları
Mustafa N. Parlar Eğitim ve Araştırma Vakfı
Öğrenci Ödülleri
TÜBA
TÜBİTAK
Türkiye Gazeteciler Cemiyeti
Diğer Ödüller
Fahri Doktora Unvanı
Buradasınız
Ana Sayfa
Şen, A., Garg, V.K., “Formal Verification of Simulation Traces using Computation Slicing”, IEEE Transactions on Computers, 511-527, 2007.
Şen, A., Garg, V.K., “Formal Verification of Simulation Traces using Computation Slicing”, IEEE Transactions on Computers, 511-527, 2007.
Yayın Tarihi:
Pazartesi, 1 Ocak, 2007
Yayin Birimi:
Mühendislik Fakültesi
Yayın Bölümü:
Bilgisayar Mühendisliği
Yayın Türü:
Makale
