Titre (en)
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Titre (en) » - entrée « validation »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
validating < validation < validazione  Facettes :

List of bibliographic references indexed by validation

Number of relevant bibliographic references: 103.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000098 (2016) Atif Mashkoor [Autriche] ; Jean-Pierre Jacquot [France]Validation of Formal Specifications through Transformation and Animation
000109 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
000153 (2016) Franck P. Vidal [Royaume-Uni] ; Pierre-Frédéric Villard [France]Development and validation of real-time simulation of X-ray imaging with respiratory motion.
000156 (2016) Alberto Bellio ; Daniela Manila Bianchi ; Monica Gramaglia ; Andrea Loria ; Daniele Nucera ; Silvia Gallina ; Marilena Gili ; Lucia DecastelliAflatoxin M1 in Cow’s Milk: Method Validation for Milk Sampled in Northern Italy
000482 (2015-06-23) Luis Felipe Melo Mora [France] ; Yannick Toussaint [France]Automatic Validation of Terminology by Means of Formal Concept Analysis
000679 (2015) Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France]Tooled Process for Early Validation of SysML Models using Modelica Simulation
000F22 (2013-11-29) Faqing Yang [France]A Simulation Framework for the Validation of Event-B Specifications
001300 (2013-02-19) Jean-Marie Gauthier [France] ; Fabrice Bouquet [France] ; Ahmed Hammad [France] ; Fabien Peureux [France]Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
001510 (2013) Tien-Dung Cao [Viêt Nam] ; Kevin Chiew [Viêt Nam]Protecting Software as a Service in the Clouds by Validation
001A62 (2012-06-25) Alain Giorgetti [France] ; Valerio Senni [Italie]Specification and Validation of Algorithms Generating Planar Lehman Words
001B97 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001C87 (2012) William Pasillas-Lépine [France] ; Antonio Loria [France] ; Mathieu GerardDesign and experimental validation of a nonlinear wheel slip control algorithm
001E34 (2012) Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]Formal Specification and Validation of Security Policies
001E97 (2012) F. Longuetaud [France] ; F. Mothe [France] ; B. Kerautret [France] ; A. Kr Henbühl [France] ; L. Hory [France] ; J. M. Leban [France] ; I. Debled-Rennesson [France]Automatic knot detection and measurements from X-ray CT images of wood: A review and validation of an improved algorithm on softwood samples
001F68 (2011-12-06) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Stepwise Validation of Formal Specifications
002231 (2011-07-12) Atif Mashkoor [France]Formal Domain Engineering: From Specification to Validation
002370 (2011-05-11) Soumeya Hernane [France] ; Jens Gustedt [France] ; Mohamed Benyettou [Algérie]Modeling and Experimental Validation of the Data Handover API
002408 (2011-03-25) Atif Mashkoor [France] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Validation of Formal Specification: the Case for Animation
002462 (2011-02-07) Jamila Ben Sliman [France] ; Ye-Qiong Song [France] ; Anis Koubaa [Arabie saoudite] ; Mounir Frikha [Tunisie] ; Hugo Cruz Sanchez [France]Pmcmtp's Implementation (in nesC/TinyOS2.x) and Testbed for Its Operation Validation
002621 (2011) Roberto Carbone [Italie] ; Marius Minea [Roumanie] ; Sebastian Alexander Mödersheim [Danemark] ; Serena Elisa Ponta [France, Italie] ; Mathieu Turuani [France] ; Luca Vigan [Italie]Towards Formal Validation of Trust and Security in the Internet of Services
002913 (2010-12-07) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France]Transformational Heuristics for Animation - Towards Stepwise Validation of Specications

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "validation" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "validation" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    validation
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022