Validation of Regulation Documents by Automated Analysis of Formal Models.

Didier Bert Fabrice Bouquet Yves Ledru Sylvie Vignes

Published in: ReMo2V (2006)

Keyphrases

automated analysis
formal models
automated detection
rule based systems
formal model
information retrieval
document collections
visual analysis
biomedical imaging
metadata
process model
video analysis
information retrieval systems
expert systems
retrieval systems