JPF−AWT: Model Checking GUI Applications

JPF−AWT: Model Checking GUI Applications

Bibliographic Details
Main Authors:	Mehlitz, P, Tkachuk, O, Ujma, M
Format:	Conference item
Published:	2011

Similar Items

jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
by: Ujma, M, et al.
Published: (2011)

Gearbox Fault Diagnosis Based on ICEEMDAN-MPE-AWT and SE-ResNeXt50 Transfer Learning Model
by: Hongfeng Gao, et al.
Published: (2024-03-01)

Quantitative Identification of Internal and External Wire Rope Damage Based on VMD-AWT Noise Reduction and PSO-SVM
by: Jie Tian, et al.
Published: (2022-07-01)

Designing GUI applications for windows /
by: 386741 Leavens, Alex
Published: (1994)

Accelerated Weathering Testing (AWT) and Bacterial Biodegradation Effects on Poly(3-hydroxybutyrate-co-3-hydroxyvalerate) (PHBV)/Rapeseed Microfiber Biocomposites Properties
by: Madara Žiganova, et al.
Published: (2024-02-01)

Stable-dreamfusion-gui: a GUI for stable-dreamfusion
by: Oh, Zhi Hua
Published: (2023)

Designing GUI applications for windows [diskette] /
by: 386741 Leavens, Alex
Published: (1994)

Object-oriented GUI application development /
by: 242464 Lee, Geoff
Published: (1993)

Telehealth system for elderly : GUI application
by: Zhang, Han
Published: (2013)

Graphics and GUIs with MATLAB /
by: 398670 Marchand, Patrick, et al.
Published: (2003)

GUI development for DC motor application in MATLAB
by: Nazariha, Mat Salleh
Published: (2008)

Application of the Concept Circle in the Software GUI Matlab
by: Sri Ratnawati, et al.
Published: (2017-01-01)

A mobile phone GuiDE : a GUI Decoder and Enricher
by: Yan, Emily Z
Published: (2008)

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)
by: Ramin Heidarian Dehkordi, et al.
Published: (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
by: Suhaila Abd Halim, et al.
Published: (2023-02-01)

Graphics and GUIs with MATLAB /
by: 398670 Marchand, Patrick
Published: (1996)

Graphics and GUIs with MATLAB /
by: 398670 Marchand, Patrick
Published: (1999)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: Abd Halim, Suhaila, et al.
Published: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: Abd Halim, Suhaila, et al.
Published: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: Abd Halim, Suhaila, et al.
Published: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: Abd Halim, Suhaila, et al.
Published: (2023)

Apply computer vision in GUI automation for industrial applications
by: Yung-Pin Cheng, et al.
Published: (2019-08-01)

GUI development in windows and web platform for tracking applications
by: Chaudhary, Arun Kumar
Published: (2014)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: SuhailaAbd Halim, SuhailaAbd Halim, et al.
Published: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: Abd Halim, Suhaila, et al.
Published: (2023)

Exposing testability in GUI objects
by: Hock, Joel M. (Joel Michael), 1977-
Published: (2014)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: SuhailaAbd Halim, SuhailaAbd Halim, et al.
Published: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural network with open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: SuhailaAbd Halim, SuhailaAbd Halim, et al.
Published: (2023)

Quality prediction and classifcation of resistance spot weld using artifcial neural networkbwith open‑sourced, self‑executable andGUI‑based application tool Q‑Check
by: Abd Halim, Suhaila, et al.
Published: (2023)

GUI for intruders detection system /
by: 443002 Noraini Mariam Mustafa
Published: (2003)

Labview GUI : essential techniques /
by: 462980 Ritter, David J.
Published: (2002)

Graphics and GUIs with MATLAB / [disket]
by: 398670 Marchand, Patrick
Published: (1996)

Entrevista a Gui Bonsiepe
by: Hugo Palmarola
Published: (2001-12-01)

- Athos - The C# GUI Generator
by: Daniela Ilea
Published: (2009-01-01)

Guía para autores
by: Luis Alberto Montenegro Mora
Published: (2014-05-01)

GUI development for GRASS GIS
by: Martin Landa
Published: (2007-12-01)

Dual mode mobile robot : application using matlab GUI
by: Ahmad, Saifullah
Published: (2008)

Development of graphical user interface (GUI) for surgery assistance application
by: Mardhiyah Md Jan,, et al.
Published: (2023)

Model development & GUI for a solar PV system
by: Singh, Vipul Raj
Published: (2022)

A Java GUI for the Design of an Impeller
by: Bramantya M. A., et al.
Published: (2012-11-01)