Articles by Author

Author

Simon Collart-Dutilleul

Université Lille Nord de France
Lille, France

3 articles by this author

Sort by:

An Ontological Approach to Support Dysfunctional ...

Research Article

An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design

Sana Debbech, Simon Collart-Dutilleul, Philippe Bon

10.3897/jucs.2020.030

28-05-2020

Unique: 1349 | Total: 2333

549-582

A Joint Development of Coloured Petri ...

Research Article

A Joint Development of Coloured Petri Nets and the B Method in Critical Systems

Pengfei Sun, Philippe Bon, Simon Collart-Dutilleul

10.3217/jucs-021-12-1654

01-12-2015

Unique: 1010 | Total: 1300

1654-1683

From a Solution Model to a B Model for ...

Research Article

From a Solution Model to a B Model for Verification of Safety Properties

Philippe Bon, Simon Collart-Dutilleul

10.3217/jucs-019-01-0002

01-01-2013

Unique: 934 | Total: 1236

2-24

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK

Web Analytics