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

Simon Collart-Dutilleul
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
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