ARAMA SONUÇLARI

Toplam 82 adet sonuçtan 20 tanesi görüntülenmektedir.

Arama









Yıllara göre arama

Özel Aralık Girişi

Specification and Formal Verification of Safety Properties in Point Automation System by Using Timed-Arc Petri Nets
IFAC 2014, 19th World Congress of the International Federation of Automatic Control, Cape Town/GÜNEY AFRİKA, Vol. 47, No. 3, 24 Ağustos 2014, s. 12140-12145
ŞENER İBRAHİM,KAYMAKÇI ÖZGÜR TURAY,ÜSTOĞLU İLKER,CANSEVER GALİP
İlker Üstoğlu Tam metin bildiri
A Wide Range Model for Surge Arresters: Verification Analysis
4 th International Conference on Power and Energy Systems Engineering, 25 Eylül 2017
MOUSAVİ SADRA,FEİZİFAR BEHNAM,ÖNAL ŞÜKRAN EMEL
Şükran Emel Önal Tam metin bildiri
Specification and formal verification of safety properties in a point automation system
TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES, Vol. 24, No. 3, Mart 2016, s. 1384-1396, ISSN: 1300-0632
ŞENER İBRAHİM,KAYMAKÇI ÖZGÜR TURAY,ÜSTOĞLU İLKER,CANSEVER GALİP
İlker Üstoğlu Özgün Makale
A Simulation-Based Development and Verification Architecture for Micro UAV Teams and Swarms
AIAA Scitech 2019 Forum, San Diego/AMERİKA BİRLEŞİK DEVLETLERİ, 7 Ocak 2019
AKÇAKOCA MEHMET,ATICI BİLGE MİRAÇ,GEVER BAŞAK,OĞUZ SİNAN,DEMİR MUSTAFA,SALDIRAN EMRE,YÜKSEK BURAK,KOYUNCU EMRE,YENİÇERİ RAMAZAN,İNALHAN GÖKHAN
Ramazan Yeniçeri Tam metin bildiri
A highly resolved regional climate model IPRC RegCM and its simulation of the 1998 severe precipitation event over China Part I Model description and verification of simulation
Journal of Climate, Vol. 16, No. 11, Haziran 2003, s. 1721-1738
WANG YUQİNG,ŞEN ÖMER LÜTFİ,WANG BİN
Ömer Lütfi Şen Özgün Makale
A learning based method for detecting defective classes in object oriented systems
2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 13 Nisan 2015
BİRAY ÇAĞIL,BUZLUCA FEZA
Feza Buzluca Tam metin bildiri
Experimental verification of the elastic input energy spectrum and a suggestion
Interdiciplinary Perspectives for Future Building Envelopes, İSTANBUL/TÜRKİYE, 13 Mayıs 2017
GÜLLÜ AHMET,YÜKSEL ERCAN,YALÇIN MEHMET CEM,DİNDAR AHMET ANIL,ÖZKAYNAK HASAN
Ercan Yüksel Tam metin bildiri
Design and formal verification of a cloud compliant secure logging mechanism
IET Information Security, Vol. 10, No. 4, Temmuz 2016, s. 203-214, ISSN: 1751-8709
SANDIKKAYA MEHMET TAHİR,OVATMAN TOLGA,HARMANCI ALİ EMRE
Mehmet Tahir Sandıkkaya Özgün Makale
The verification of strains obtained by grid measurements using digital image processing for sheet metal formability
JOURNAL OF STRAIN ANALYSIS FOR ENGINEERING DESIGN, Vol. 52, No. 8, Kasım 2017, s. 506-514, ISSN: 0309-3247
YILDIZ RAŞİD AHMED,YILMAZ ŞAFAK
Raşid Ahmed Yıldız Özgün Makale
DESIGN, ANALYSIS AND EXPERIMENTAL VERIFICATION OF A NOVEL NONLINEAR PI CONTROLLER
Anadolu Üniversitesi Bilim ve Teknoloji Dergisi :A-Uygulamalı Bilimler ve Mühendislik, Vol. 18, No. 4, Ekim 2017, s. 876-896, ISSN: 1302-3160
AKKAYA ŞİRİN,NAK HANDAN,ERGENÇ ALİ FUAT
Ali Fuat Ergenç Özgün Makale
A Fully Coupled Theoretical and Computational Model for Unsaturated Soils: Numerical Formulation and Experimental Verification
9th Int. Conf. Comp. Mthds for Coupled Problems in Sci. & Eng.-COUPLED PROBLEMS, South Sardinia/İTALYA, 13 Haziran 2021
EYÜPGİLLER MUSTAFA MERT, ÜLKER MEHMET BARIŞ CAN
Mehmet Barış Can Ülker Tam metin bildiri
A new URANS based approach on the prediction of vertical motions of a surface combatant in head waves
OCEAN ENGINEERING, Vol. 162, Ocak 2018, s. 21-33, ISSN: 0029-8018
ÇAKICI FERDİ, KAHRAMANOĞLU EMRE, DUMAN SÜLEYMAN, ALKAN AHMET DURSUN
DC and AC Electric Field Analysis and Experimental Verification of a Silicone Rubber Insulator
ELECTRICAL ENGINEERING, Vol. 102, No. 1, Mart 2020, s. 503-514, ISSN: 0948-7921
ÜÇKOL HALİL İBRAHİM,KARACA BARIŞ,İLHAN SUAT
Suat İlhan Özgün Makale
Harmonizing Normative Organizational Structures and Verification & Validation Concepts for Safety Critical Generic Projects
European Safety and Reliability Conference, Trondheim/NORVEÇ, 17 Haziran 2018, s. 3181-3186
DOĞRUGÜVEN ERSİN HASAN,ÜSTOĞLU İLKER
İlker Üstoğlu Tam metin bildiri
Fatigue life prediction of Z type leaf spring and new approach to verification method
3rd International Conference on Material and Component Performanceunder Variable Amplitude Loading,, prag/ÇEK CUMHURİYETİ, 23 Mart 2016
DURUŞ MAHMUT, YAY KUBİLAY, KIRKAYAK LEVENT, CEYHAN AYKUT, KOZAN KAĞAN
Kubilay Yay Tam metin bildiri
Design and implementation of a custom verification environment for fault injection and analysis on an embedded microprocessor
2015 Third International Conference on Technological Advances in Electrical, Electronics and Computer Engineering (TAEECE), 29 Nisan 2015, s. 256-261
USTAOĞLU BUSE,ÖRS YALÇIN SIDDIKA BERNA
Sıddıka Berna Örs Yalçın Tam metin bildiri
Verification of the Washing Algorithm Developed Specifically for Linen Fabrics
5th International Istanbul Textile Congress 2015: Innovative Technologies ”Inspire to Innovate”, İstanbul/TÜRKİYE, 11 Eylül 2015
AÇIKGÖZ HATİCE,ŞAHİN UMUT KIVANÇ,GÖCEK İKİLEM,ERDEM İLKAN
Umut Kıvanç Şahin Tam metin bildiri
Near Field Orthogonality Sampling Method for Microwave Imaging Theory and Experimental Verification
IEEE Transactions on Microwave Theory and Techniques, Vol. 64, No. 8, Ağustos 2016, s. 2489-2501, ISSN: 0018-9480
AKINCI MEHMET NURİ,ÇAYÖREN MEHMET,AKDUMAN İBRAHİM
İbrahim Akduman Özgün Makale
Analysis of a Novel 3D Hybrid Woven Knitted Structures Part I Geometric Model and Verification
Textile Research Journal, Vol. 74, No. 9, 2004, s. 827-832
ÖNAL LEVENT,ADANUR SABİT
Levent Önal Özgün Makale
Closed-Form Demonstration and Shake Table Verification of Damping Effect on the Seismic Energy
International Journal of Structural Stability and Dynamics, Vol. 22, No. 12, Şubat 2022, ISSN: 0219-4554
GÜLLÜ AHMET, YÜKSEL ERCAN, ALTINTAŞ KAHRİMAN ELİF
Ercan Yüksel Özgün Makale

İLETİŞİM BİLGİLERİ

İstanbul Teknik Üniversitesi Rektörlüğü İTÜ Ayazağa Kampüsü Rektörlük Binası, Maslak-Sarıyer / İstanbul Tel: +90 212 285 3930