automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications
Media Manager
Media Files
Files in [root]
- abstractmodels.gif
- 1224×642
- 2025/01/15 21:40
- 18 KB
- abstractmodels2.jpg
- 2155×526
- 2025/01/15 21:40
- 170.8 KB
- binaryconstraint.png
- 1683×292
- 2025/01/15 21:40
- 51.6 KB
- binarycounterconstraint.png
- 493×174
- 2025/01/15 21:40
- 10.1 KB
- canvas_and_modelgraph.png
- 810×311
- 2025/01/15 21:40
- 16.6 KB
- desktoppane_and_windows.png
- 964×720
- 2025/01/15 21:40
- 209.3 KB
- favicon.ico
- 2025/01/15 21:40
- 1.4 KB
- gitworkflow.png
- 481×455
- 2025/01/15 21:40
- 26.3 KB
- phd020707s.gif
- 700×303
- 2025/01/15 21:40
- 74.3 KB
- ptidej_ui_viewer_standalone_swing_1.png
- 1280×776
- 2025/01/15 21:40
- 40.2 KB
- ptidej_ui_viewer_standalone_swing_2.png
- 1279×773
- 2025/01/15 21:40
- 52 KB
- ptidej_ui_viewer_standalone_swing_3.png
- 1279×773
- 2025/01/15 21:40
- 44.9 KB
- ptidej_ui_viewer_standalone_swing_4.png
- 1279×773
- 2025/01/15 21:40
- 81.4 KB
- ptidej_ui_viewer_standalone_swing_5.1.png
- 1280×776
- 2025/01/15 21:40
- 80.2 KB
- ptidej_ui_viewer_standalone_swing_5.png
- 1280×776
- 2025/01/15 21:40
- 69.7 KB
- ptidej_ui_viewer_standalone_swing_6.1.png
- 1280×776
- 2025/01/15 21:40
- 83.6 KB
- ptidej_ui_viewer_standalone_swing_6.png
- 1280×776
- 2025/01/15 21:40
- 83.5 KB
- ptidej_ui_viewer_standalone_swing_7.png
- 1279×773
- 2025/01/15 21:40
- 80.5 KB
- ptidej_ui_viewer_standalone_swing_8.png
- 1279×775
- 2025/01/15 21:40
- 81.2 KB
- ptidej_ui_viewer_standalone_swing_9.png
- 1279×775
- 2025/01/15 21:40
- 78.9 KB
- ptidej_ui_viewer_standalone_swing_10.1.png
- 1280×776
- 2025/01/15 21:40
- 77.2 KB
- ptidej_ui_viewer_standalone_swing_10.png
- 1280×776
- 2025/01/15 21:40
- 77 KB
- relationships.gif
- 1208×662
- 2025/01/15 21:40
- 16.5 KB
- relationships2.jpg
- 755×682
- 2025/01/15 21:40
- 58.2 KB
- unaryconstraint.png
- 868×168
- 2025/01/15 21:40
- 18.7 KB
File
automated_verification_of_pattern-based_interaction_invariants_in_ajax_applications.txt · Last modified: 2025/01/15 21:40 (external edit)
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International
