P. Wodey

Publications

Citations

H-Index

1989

Active since

Affiliations

Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes(Current)

P. Wodey is an author at Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes specializing in system software, engineering, and systems engineering.

Top concepts

EngineeringSystem SoftwareSystems EngineeringComputer EngineeringDesignVerificationFormal MethodsSoftware DesignTest AutomationTest Generation

Publications per year

1989–2003

Publications

Linking design and test tools: an implementation

C. Robach, P. Wodey · IEEE Transactions on Industrial Electronics · 1989 · 19 citations

Test Programs, Engineering, Software Systems +21

LOTOS code generation for model checking of STBus based SoC: the STBus interconnection

P. Wodey, G. Camarroque, Fabrice Baray et al. · International Conference on Formal Methods and Models for Co-Design · 2003 · 11 citations

Hardware Modeling, Engineering, Verification +19

Rows per page

1–2 of 2