Searching for authors named "Sylvie Vignes" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

800 Regulations Modelling and their Validation and Verification Validation of Regulation Documents by Automated Analysis of Formal Models ⋆
by Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes
…Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different techniques to analyse these standards. In this paper, we address two automated analysis techniques. First statetransition diagram…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB