Faqing Yang And NotAutriche
List of bibliographic references
Number of relevant bibliographic references: 10.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000D04 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Proving the Fidelity of Simulations of Event-B Models |
| 000F16 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | JeB: Safe Simulation of Event-B Models in JavaScript |
| 000F22 | Faqing Yang [France] | A Simulation Framework for the Validation of Event-B Specifications |
| 001256 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] | JeB : un environnement de simulation en JavaScript pour B événementiel |
| 001821 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | The Case for Using Simulation to Validate Event-B Specifications |
| 001C50 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France] | Traduction de B événementiel en C pour la validation par la simulation |
| 002097 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] | An Event-B Plug-in for Creating Deadlock-Freeness Theorems |
| 002408 | Atif Mashkoor [France] ; Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Validation of Formal Specification: the Case for Animation |
| 002637 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Scaling Up with Event-B: A Case Study |
| 002C50 | Faqing Yang [France] ; Jean-Pierre Jacquot [France] | Prouvé ? Et après ? |
| This area was generated with Dilib version V0.6.33. |  |