Laurent Piétrac

Publications

Citations

H-Index

2008

Active since

Affiliations

Institut National des Sciences Appliquées de Lyon(Current)

Laurent Piétrac is an author at Institut National des Sciences Appliquées de Lyon specializing in formal verification, engineering, and systems engineering.

Top concepts

AutomationEngineeringFormal MethodsProcess ControlComputer ScienceFormal VerificationSystems EngineeringComputer EngineeringPhysicsVerification

Publications per year

2008–2008

Publications

A supervisor implementation approach in Discrete Controller Synthesis

Emil Dumitrescu, Mingming Ren, Laurent Piétrac et al. · 2008 · 12 citations

Logic Synthesis, Supervisor Implementation Approach, Engineering +15

Identification of incompatible states in mode switching

Grégory Faraut, Laurent Piétrac, Éric Niel · 2008 · 10 citations

Event-driven Architecture, Engineering, Verification +21

Rows per page

1–2 of 2