Thomas Kraynak is an author at Illumina (United States) specializing in formal methods, reliability engineering, and power system protection.
Top concepts
Smart GridEngineeringPower SystemsFormal MethodsComputer ScienceHardware SecurityLogic ProgrammingAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
1969–1969
1
1
Rows per page
1–1 of 1