JPF−AWT: Model Checking GUI Applications

Míreanna comhchosúla

• jpf−concurrent: an extension of Java PathFinder for java.util.concurrent
  de réir: Ujma, M, et al.
  Foilsithe / Cruthaithe: (2011)
• Gearbox Fault Diagnosis Based on ICEEMDAN-MPE-AWT and SE-ResNeXt50 Transfer Learning Model
  de réir: Hongfeng Gao, et al.
  Foilsithe / Cruthaithe: (2024-03-01)
• Quantitative Identification of Internal and External Wire Rope Damage Based on VMD-AWT Noise Reduction and PSO-SVM
  de réir: Jie Tian, et al.
  Foilsithe / Cruthaithe: (2022-07-01)
• Effectiveness of Art Therapy Programs on the Improvement of Slow-paced Adolescents;apos__AWT_NOKT_COMMA__ Communication Skills
  de réir: معصومه کلانتری, et al.
  Foilsithe / Cruthaithe: (2019-09-01)
• Designing GUI applications for windows /
  de réir: 386741 Leavens, Alex
  Foilsithe / Cruthaithe: (1994)