1
Publications
13
Citations
1
H-Index
2023
Active since
Affiliations
Thiago H. de M.C. Machado is an author at Universidade Federal do Rio de Janeiro specializing in process control, reliability engineering, and formal methods.
Top concepts
AutomationEngineeringVerificationFormal MethodsProcess ControlComputer ScienceSoftware TestingFormal VerificationSystems EngineeringReliability Engineering
Publications per year
2023–2023
1
1