Concepedia

Author

Thomas Bochot

Airbus (France)

Also Known As

Thomas Bochot

4

Publications

62

Citations

2

H-Index

23

Concepts

All Affiliations

Airbus (France)Université Fédérale de Toulouse Midi-Pyrénées
TB

About

Thomas Bochot is an author at Airbus (France) specializing in software testing, systems engineering, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

59

2

Computer Science

2

2

59

3

Space Engineering

2

2

59

4

Systems Engineering

2

2

59

5

Law

1

1

16

Thomas Bochot

×

2

Publications

59

Citations

2

H-Index

YearCitations

Model checking flight control systems: The Airbus experience

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck,

2009

43

Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples

Thomas Bochot, Pierre Virelizier, Hélène Waeselynck,

2010

16

Page 1