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
|
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
|
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
|
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
|
Experimental Verification of In-door Ground Based SAR Using Beam Space MUSIC Algorithm
2018 International Conference on Electromagnetics in Advanced Applications (ICEAA), Cartagena des Indias/KOLOMBİYA, 10 Eylül 2018
OMUZ BERK,ÖZ FİKRİYE,ÖZDEMİR ÖZGÜR,ÖNCÜ AHMET
|
An overview of model checking practices on verification of PLC software
Software & Systems Modeling, Vol. 15, No. 4, Ekim 2016, s. 937-960, ISSN: 1619-1366
ARAL ATAKAN,OVATMAN TOLGA,DAVUT POLAT,ALİ OSMAN ÜNVER
|
Experimental Verification of Analytical and Numerical Solutions of In Plane and Out of Plane Free Vibrations of Circular Arches
IMAC-XXII, 23 Eylül 2004
TÜFEKCİ EKREM,DOĞRUER OSMAN YAŞAR,ÖZDEMİRCİ ÖZNUR
|
Design and formal verification of a cloud compliant secure logging mechanism
IET Information Security, Stevenage/İNGİLTERE, Vol. 10, No. 4, Temmuz 2016, s. 203-214, ISSN: 1751-8709
SANDIKKAYA MEHMET TAHİR,OVATMAN TOLGA,HARMANCI ALİ EMRE
|
Experimental Verification of Numerical and Analytical Solutions of Free Vibrations of Curved Beams
The Second International Conference on Structural Stability and Dynamics, 23 Ekim 2002
TÜFEKCİ EKREM,BOSTANCI TOLGA,ÖZDEMİRCİ ÖZNUR,OLDAÇ OLCAY
|
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
|
Experimental verification of rank 1 chaos in switch controlled Chua circuit
Chaos: An Interdisciplinary Journal of Nonlinear Science, Vol. 19, No. 1, Ocak 2009, s. 13116, ISSN: 10541500
OKŞAŞOĞLU ALİ,ÖZOĞUZ İSMAİL SERDAR,DEMİRKOL AHMET YAŞAR,AKGÜL TAYFUN,WANG QİUDONG
|
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
|
Verification of LDR brachytherapy dose distributions for different source geometries by Monte Carlo method
Turkish Journal of Oncology, İstanbul/TÜRKİYE, Vol. 27, No. 4, Ocak 2012, s. 181-188, ISSN: 1300-7467
ACUN HEDİYE,BOZKURT AHMET,KEMİKLER GÖNÜL,ÖZBAY İSMAİL,ASLAY IŞIK
|
Stopping power and dose calculations with analytical and Monte Carlo methods for protons and prompt gamma range verification
Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Vol. 897, Temmuz 2018, s. 106-113, ISSN: 0168-9002
USTA METİN,TUFAN MUSTAFA ÇAĞATAY,AYDIN GÜRAL,BOZKURT AHMET
|
Modeling, Control, and Experimental Verification of a 500 kW DFIG Wind Turbine
ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, Vol. 22, No. 1, Ocak 2022, s. 13-20, ISSN: 1582-7445
AYKUT OZAN, ULU CENK, KÖMÜRGÖZ KIRIŞ GÜVEN
|
How to eliminate the toxic impact of extreme salinity on the ecology of activated sludge? Experimental verification with pickle plant effluents
Journal of Chemical Technology Biotechnology, Vol. 97, Ağustos 2022, ISSN: 0268-2575
ÖVEZ SÜLEYMAN, ÖZBAŞARAN MURAD, DUBA ŞEYDA, SÖZEN SEVAL, ORHON DERİN
|
Power Curve Verification of Wind Turbines by Using the Nacelle Mounted Anemometer
Journal of Research in Atmospheric Science, Ekim 2019, ISSN: 2687-6418
ÖZEN CEM, YAVUZ VELİ, DİNÇ U, ÖZDEMİR EMRAH TUNCAY, DENİZ ALİ
|
Experimental Verification of A Simulation Model for Jet UAV with Model Based Design
8th International Conference on Control, Decision and Information Technologies, İstanbul/TÜRKİYE, 17 Mayıs 2022
ALTAY HALUK, ÇALIŞKAN FİKRET
|
Seismic Performance Verification of Arch Dam by Nonlinear 3D-FEM Analysis
3rd Turkish Conference on Earthquake Engineering and Seismology, İzmir/TÜRKİYE, 14 Ekim 2015
MITSUHASHI YUTA, ZÜLFİKAR ABDULLAH CAN, SHIMABUKU JORGE, SHOJI MASAHIRO
|
E-VCU Software Toolbox for ARM Cortex-R4 Processor based Electric Vehicle Control
29th International Conference on Information, Communication and Automation Technologies, SARAJEVO/BOSNA HERSEK, 11 Haziran 2023, ISSN: 2643-1858
ABDELKHALEK MOSTAFA, BAYEZİT AFŞİN BARAN, BAYEZİT İSMAİL, BIRCAN YASIN, CAKIR AYTUG, KURTOGLU FURKAN, MANDACI DENIZ, ERUNLU GOKHAN, FIDAN BARIS
|