Go home now Header Background Image
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
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
page 2 - 24
Vol.19 / Issue 1