A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback
[chapter]
2013
Lecture Notes in Computer Science
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 12667 Official URL: http://dx.Abstract. A plethora of theoretical results are available which make possible the use of dynamic analysis and model-checking for software and system models expressed in high-level modeling languages like UML, SDL or AADL. Their usage
doi:10.1007/978-3-642-38911-5_7
fatcat:qwe7rz5ge5dsraaa5hk5qtr7wu