Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

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
page 1654 - 1683
Vol.21 / Issue 12
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
page 549 - 582
Vol.26 / Issue 5
P. Bon, S. Collart-Dutilleul:
From a Solution Model to a B Model for Verification of Safety Properties
/jucs_19_1/from_a_solution_model_to
page 2 - 24
Vol.19 / Issue 1