J.-L. Boulanger

Publications

Citations

H-Index

2004

Active since

Affiliations

Heuristics and Diagnostics for Complex Systems(Current)

J.-L. Boulanger is an author at Heuristics and Diagnostics for Complex Systems specializing in formal verification, software engineering, and computer architecture.

Top concepts

EngineeringVerificationCircuit DesignDigital DesignFormal MethodsSoftware DesignComputer ScienceHardware SecurityFormal VerificationComputer Engineering

Publications per year

2004–2008

Publications

The MeMVaTEx methodology: from requirements to models in automotive application design

Alexandre Albinet, S. Begoc, J.-L. Boulanger et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 35 citations · Full text

BHDL: circuit design in B

Ammar Aljer, Philippe Devienne, Sophie Tison et al. · 2004 · 10 citations

Hardware Modeling, Engineering, Hardware Verification Language +17

Rows per page

1–2 of 2