Formal modeling and analyzing method for database security policy by Rong WANG, Min ZHANG, Deng-guo FENG, Hao LI

Subjects: “…formal modeling…”
Get full text

Décomposer les humanités numériques by Michael Piotrowski, Aris Xanthos

Subjects: Get full text

Les mots du Grand Débat national : les réseaux lexicaux des contributions déposées sur trois plateformes by Sabine Ploux, Michael Genay, Leu Ploux-Chillès

Subjects: Get full text

Functionally-Equivalent Formalization and Automated Model Checking of Function Block Diagrams by Tomas Ausberger, Karel Kubicek, Pavla Medvedcova

Subjects: “…Formal model…”
Get full text