Using Model Checking for the Automatic Validation of User Interface Systems

@inproceedings{dAusbourg1998UsingMC,
  title={Using Model Checking for the Automatic Validation of User Interface Systems},
  author={Bruno d'Ausbourg},
  booktitle={DSV-IS},
  year={1998}
}

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 17 extracted citations

Similar Papers

Loading similar papers…