JPF−AWT: Model Checking GUI Applications

JPF−AWT: Model Checking GUI Applications

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Mehlitz, P, Tkachuk, O, Ujma, M
বিন্যাস:	Conference item
প্রকাশিত:	2011

অনুরূপ উপাদানগুলি

jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
অনুযায়ী: Ujma, M, অন্যান্য
প্রকাশিত: (2011)

Gearbox Fault Diagnosis Based on ICEEMDAN-MPE-AWT and SE-ResNeXt50 Transfer Learning Model
অনুযায়ী: Hongfeng Gao, অন্যান্য
প্রকাশিত: (2024-03-01)

Quantitative Identification of Internal and External Wire Rope Damage Based on VMD-AWT Noise Reduction and PSO-SVM
অনুযায়ী: Jie Tian, অন্যান্য
প্রকাশিত: (2022-07-01)

Effectiveness of Art Therapy Programs on the Improvement of Slow-paced Adolescents;apos__AWT_NOKT_COMMA__ Communication Skills
অনুযায়ী: معصومه کلانتری, অন্যান্য
প্রকাশিত: (2019-09-01)

Designing GUI applications for windows /
অনুযায়ী: 386741 Leavens, Alex
প্রকাশিত: (1994)

Stable-dreamfusion-gui: a GUI for stable-dreamfusion
অনুযায়ী: Oh, Zhi Hua
প্রকাশিত: (2023)

Web-based GUI for embedded applications
অনুযায়ী: Poeu, Vannarath
প্রকাশিত: (2016)

Telehealth system for elderly : GUI application
অনুযায়ী: Zhang, Han
প্রকাশিত: (2013)

Designing GUI applications for windows [diskette] /
অনুযায়ী: 386741 Leavens, Alex
প্রকাশিত: (1994)

Object-oriented GUI application development /
অনুযায়ী: 242464 Lee, Geoff
প্রকাশিত: (1993)

Graphics and GUIs with MATLAB /
অনুযায়ী: 398670 Marchand, Patrick, অন্যান্য
প্রকাশিত: (2003)

GUI development for DC motor application in MATLAB
অনুযায়ী: Nazariha, Mat Salleh
প্রকাশিত: (2008)

Application of the Concept Circle in the Software GUI Matlab
অনুযায়ী: Sri Ratnawati, অন্যান্য
প্রকাশিত: (2017-01-01)

A mobile phone GuiDE : a GUI Decoder and Enricher
অনুযায়ী: Yan, Emily Z
প্রকাশিত: (2008)

AWT020: a novel fusion protein harnessing PD-1 blockade and selective IL-2 Cis-activation for enhanced anti-tumor immunity and diminished toxicity
অনুযায়ী: Fan Ye, অন্যান্য
প্রকাশিত: (2025-02-01)

High spatio-temporal monitoring of century-old biochar effects on evapotranspiration through the ETLook model: a case study with UAV and satellite image fusion based on additive wavelet transform (AWT)
অনুযায়ী: Ramin Heidarian Dehkordi, অন্যান্য
প্রকাশিত: (2022-12-01)

Quality prediction and classification of resistance spot weld using artificial neural network with open-sourced, self-executable and GUI-based application tool Q-Check
অনুযায়ী: Suhaila Abd Halim, অন্যান্য
প্রকাশিত: (2023-02-01)

Graphics and GUIs with MATLAB /
অনুযায়ী: 398670 Marchand, Patrick
প্রকাশিত: (1999)

Graphics and GUIs with MATLAB /
অনুযায়ী: 398670 Marchand, Patrick
প্রকাশিত: (1996)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: Abd Halim, Suhaila, অন্যান্য
প্রকাশিত: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: Abd Halim, Suhaila, অন্যান্য
প্রকাশিত: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: Abd Halim, Suhaila, অন্যান্য
প্রকাশিত: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: Abd Halim, Suhaila, অন্যান্য
প্রকাশিত: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: SuhailaAbd Halim, SuhailaAbd Halim, অন্যান্য
প্রকাশিত: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: Abd Halim, Suhaila, অন্যান্য
প্রকাশিত: (2023)

GUI development in windows and web platform for tracking applications
অনুযায়ী: Chaudhary, Arun Kumar
প্রকাশিত: (2014)

Apply computer vision in GUI automation for industrial applications
অনুযায়ী: Yung-Pin Cheng, অন্যান্য
প্রকাশিত: (2019-08-01)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: SuhailaAbd Halim, SuhailaAbd Halim, অন্যান্য
প্রকাশিত: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: SuhailaAbd Halim, SuhailaAbd Halim, অন্যান্য
প্রকাশিত: (2023)

Exposing testability in GUI objects
অনুযায়ী: Hock, Joel M. (Joel Michael), 1977-
প্রকাশিত: (2014)

Quality prediction and classifcation of resistance spot weld using artifcial neural networkbwith open‑sourced, self‑executable andGUI‑based application tool Q‑Check
অনুযায়ী: Abd Halim, Suhaila, অন্যান্য
প্রকাশিত: (2023)

HyperGUI: A Web Application for Hyperspectral Image Analysis and Data Extraction
অনুযায়ী: Shayan Kabiri, অন্যান্য
প্রকাশিত: (2024-07-01)

Graphics and GUIs with MATLAB / [disket]
অনুযায়ী: 398670 Marchand, Patrick
প্রকাশিত: (1996)

GUI for intruders detection system /
অনুযায়ী: 443002 Noraini Mariam Mustafa
প্রকাশিত: (2003)

Labview GUI : essential techniques /
অনুযায়ী: 462980 Ritter, David J.
প্রকাশিত: (2002)

Entrevista a Gui Bonsiepe
অনুযায়ী: Hugo Palmarola
প্রকাশিত: (2001-12-01)

Guía para autores
অনুযায়ী: Luis Alberto Montenegro Mora
প্রকাশিত: (2014-05-01)

GUI development for GRASS GIS
অনুযায়ী: Martin Landa
প্রকাশিত: (2007-12-01)

Dual mode mobile robot : application using matlab GUI
অনুযায়ী: Ahmad, Saifullah
প্রকাশিত: (2008)

Model development & GUI for a solar PV system
অনুযায়ী: Singh, Vipul Raj
প্রকাশিত: (2022)