Concepedia

Author

Yann-Erick Proy

Verimag

Also Known As

Yann-Erick Proy

1

Publications

257

Citations

1

H-Index

0

Concepts

All Affiliations

Verimag
YP

About

Yann-Erick Proy is an author at Verimag.

Yann-Erick Proy

×

1

Publications

257

Citations

1

H-Index

YearCitations

Verification of Real-Time Systems using Linear Relation Analysis

Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff

Formal Methods in System Design

1997

257

Page 1