Concepedia

Author

Thierry J�ron

Institut de Recherche en Informatique et Systèmes Aléatoires

Also Known As

Thierry J�ron

1

Publications

60

Citations

1

H-Index

7

Concepts

All Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires
TJ

About

Thierry J�ron is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in engineering, verification, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

60

2

Computer Science

1

1

60

3

Systems Engineering

1

1

60

4

Automated Reasoning

1

1

60

5

Formal Methods

1

1

60

Thierry J�ron

×

1

Publications

60

Citations

1

H-Index

YearCitations

Page 1