author-photo

Dorian Petit

university of lille

10

Papers

71

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

Towards a Method for the Decomposition by Refinement in Event-B

2020
Show All
- Source
- Cite
- Save
Citations (2)
A set of design oriented scientific tools to assist abstract B machine specification

2011
Show All
- Source
- Cite
- Save
Citations (2)
BRILLANT: an open source platform for B

2010 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (4)
Improving traceability between KAOS requirements models and b specifications

2010 ABZ | Abstract State Machines, Alloy, B and Z
- Abderrahman Matoussi
- Dorian Petit
Show All
- Source
- Cite
- Save
Citations (1)
A synthesis of existing approaches to specify non-functional properties

2008
Show All
- Source
- Cite
- Save
Citations (3)