Articles by Author

Author

Simon Collart-Dutilleul

Université Lille Nord de France
Lille, France

3 articles by this author

Sort by:

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: 849 | Total: 1602

549-582

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: 617 | Total: 781

1654-1683

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: 629 | Total: 826

2-24

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

OK

Web Analytics