Concepedia

Author

Bernard Berthomieu

Centre National de la Recherche ScientifiqueORCID

Also Known As

B. Berthomieu, B. Berthomieu *, Bernard Berthomieu, Berthomieu, B, Berthomieu, Bernard, Bodeveix, Jean-Paul, Silvano Dal Zilio

84

Publications

2.7K

Citations

19

H-Index

38

Concepts

All Affiliations

Centre National de la Recherche ScientifiqueLaboratoire d'Analyse et d'Architecture des SystèmesUniversité Fédérale de Toulouse Midi-PyrénéesInstitut National des Sciences Appliquées de ToulouseUniversité Toulouse III - Paul Sabatier
BB

About

Bernard Berthomieu is an author at Centre National de la Recherche Scientifique specializing in formal methods, engineering, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

1.6K

2

Computer Science

7

7

1.6K

3

Systems Engineering

6

6

1.6K

4

Computer Engineering

3

3

47

5

Communication

1

1

10

Bernard Berthomieu

×

11

Publications

1.8K

Citations

10

H-Index

YearCitations

Page 1