Articles by Author

Author

Philippe Bon

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: 605 | Total: 1230

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: 452 | Total: 582

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: 446 | Total: 592

2-24

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

OK

Web Analytics