Translating Activity Diagram from Duration Calculus for Modeling of Real-Time Systems and its Formal Verification using UPPAAL and DiVinE Journal title: Mehran University Research Journal of Engineering and Technology Authors: Muhammad Abdil Basit Ur Rahim, Fahim Arif Subject(s):
Real-Time Delphi Survey on Competition and Competitiveness of Geographical Indications as a Negotiations' Issue of the Transatlantic Trade and Investment Partnership Journal title: Acta Scientiarum Polonorum. Oeconomia Authors: Mariusz Maciejczak Subject(s):
Laboratory Load Model Based on 150 kVA Power Frequency Con-verter and Simulink Real-Time – Concept, Implementation, Experiments Journal title: Acta Energetica Authors: Robert Małkowski, Bartosz Kędra Subject(s):
Hardware-Software Implementation of Basic Principles Simulator of Nuclear Reactor Processes Journal title: Acta Energetica Authors: Tomasz Karla, Jarosław Tarnawski, Kazimierz Duzinkiewicz Subject(s):
Herpesviral and “Red Complex” Bacterial Analysis of Acute Apical Abscesses Journal title: Journal of Dental Problems and Solutions Authors: Selcuk M Ozbek, Ahmet Ozbek, Tayfur Demiray Subject(s):
WEARABLE REAL TIME HEALTH TRACKERS AND ASSISTEDMOBILITY FOR NON-AMBULANT PATIENTS Journal title: International journal of research -GRANTHAALAYAH Authors: Subject(s):
Cyfrowy automat sterujący urządzeń energoelektronicznych z wykorzystaniem modelu czasu rzeczywistego falownika Journal title: Edukacja - Technika - Informatyka Authors: Tomasz Binkowski, BOGDAN KWIATKOWSKI Subject(s):
Comparison of Matrix Metalloproteinases 2 mRNA Expression in Prostatic Adenocarcinoma and Benign Prostatic Hyperplasia Journal title: International Journal of Medical Laboratory Authors: Bahareh Rahmatizadeh, Farzaneh Tafvizi, Masoud Salehipoure Subject(s):
Expressions of ASC and caspase-1 but not AIM2 are disrupted in chronic HBV infected patients Journal title: Asian Pacific Journal of Tropical Disease Authors: Subject(s):
Test Case Generation for Real-Time System Software Using Specification Diagram Journal title: International Journal of Intelligent Engineering and Systems Authors: Mani Padmanabhan Subject(s):
Role of respiratory viruses in infants less than six months of age with upper respiratory tract infections Journal title: Cumhuriyet Medical Journal Authors: Eda Karadag-Öncel, Demet Baser, Ayça Kömürlüoğlu, Meral Ciblak, Yasemin Özsürekçi, Cihangul Bayhan,... Subject(s):
Comparison of Methods Used for the Diagnosis of Epstein-Barr Virus Infections in Children Journal title: Polish Journal of Microbiology Authors: Nilgun Kasifoglu, Semra Oz, Ener Cagri Dinleyici, Tercan Us, Ozcan Bor, Gul Durmaz, Yurdanur Akgun Subject(s):
A New Architecture for Real Time Data Stream Processing Journal title: International Journal of Advanced Computer Science & Applications Authors: Soumaya Ounacer, Mohamed Amine TALHAOUI, Soufiane Ardchir, Abderrahmane Daif, Mohamed Azouazi Subject(s):
Fitting of parameters for a temperature control model by means of continuous derivative-free optimization: a case study in a broiler house Journal title: Bulletin of Computational Applied Mathematics (Bull CompAMa) Authors: Bruno H. Cervelin, Dante Conti, Denise T. Detsch, Maria A. Diniz-Ehrhardt, José Mario Martínez Subject(s):
Real-Time Digital Simulators: A Comprehensive Study on System Overview, Application, and Importance Journal title: International Journal of Research and Engineering Authors: Subrina Sultana Noureen, Nimat Shamim, Vishwajit Roy, Stephen B. Bayne Subject(s):
