5525 search results - page 52 / 1105 » Verification of Model Transformations |
112
click to vote
SIBGRAPI
2000
IEEE
15 years 4 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
CORR
2008
Springer
14 years 12 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
WSC
2008
15 years 2 months ago
2008
WSC
2004
15 years 1 months ago
2004