Articles by Author

Author

Pengfei Sun

Université Lille Nord de France
Lille, France

1 article by this author

Sort by:

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

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

OK

Web Analytics