Concepedia

B. Berthomieu

BB

Statistics

Publications

2

Citations

140

H-Index

2

Active since

2003

Affiliations

Centre National de la Recherche Scientifique(Current)

B. Berthomieu is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and state-space reduction.

Publications per year

2003–2006

2

Publications

2

Time Petri Nets Analysis with TINA

François Vernadat, B. Berthomieu, François Vernadat et al. · 2006 · 123 citations

, , +14

Towards the verification of real-time systems in avionics

B. Berthomieu, Pierre-Olivier Ribet, François Vernadat et al. · Electronic Notes in Theoretical Computer Science · 2003 · 17 citations · Full text

, , +17

1–2 of 2