Auteurs
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « Auteurs » - entrée « Faqing Yang »
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.
Faouzi Ghorbel < Faqing Yang < Fareeha Anwar  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 11.
Ident.Authors (with country if any)Title
000478 (2013-11-29) Faqing Yang [France]A Simulation Framework for the Validation of Event-B Specifications
000C86 (2011-09-26) Faqing Yang [France] ; Jean-Pierre Jacquot [France]An Event-B Plug-in for Creating Deadlock-Freeness Theorems
002D23 (2013-12-02) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]JeB: Safe Simulation of Event-B Models in JavaScript
003E48 (2014-01-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Proving the Fidelity of Simulations of Event-B Models
004057 (2016) Atif Mashkoor [Autriche] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Refinement-based Validation of Event-B Specifications
004363 (2011-04-18) Faqing Yang [France] ; Jean-Pierre Jacquot [France]Scaling Up with Event-B: A Case Study
004B00 (2012-12-04) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]The Case for Using Simulation to Validate Event-B Specifications
005223 (2011-03-25) Atif Mashkoor [France] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France]Validation of Formal Specification: the Case for Animation
005E46 (2013-04-03) Faqing Yang [France] ; Jean-Pierre Jacquot [France]JeB : un environnement de simulation en JavaScript pour B événementiel
006378 (2010-06-09) Faqing Yang [France] ; Jean-Pierre Jacquot [France]Prouvé ? Et après ?
006720 (2012-01-11) Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]Traduction de B événementiel en C pour la validation par la simulation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Faqing Yang" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Faqing Yang" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Faqing Yang
}}
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