3
Publications
119
Citations
3
H-Index
2002
Active since
T. Michel is an author at Institut polytechnique de Grenoble specializing in engineering, system software, and parallel computing.
Top concepts
EngineeringVerificationSystem SoftwareComputer ScienceHardware SystemsProgram AnalysisSoftware TestingOperating SystemsParallel ComputingFormal Verification
Publications per year
2002–2023
3
3
Design of microprocessors with built-in on-line test
R. Leveugle, T. Michel, G. Saucier · 2002 · 31 citations
Engineering, Hardware Verification Language, Verification +21
Rows per page
1–3 of 3