Philippe Bon
Université Lille Nord de France, France
P. Sun, P. Bon, S. Collart-Dutilleul: A Joint Development of Coloured Petri Nets and the B Method in Critical Systems /jucs_21_12/a_joint_development_of
S. Debbech, S. Collart-Dutilleul, P. Bon: An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design /jucs_26_5/an_ontological_approach_to