Richard Terrat is an author at Sorbonne Université specializing in formal verification, internet of things, and automated reasoning.
Top concepts
ProtocolsEngineeringVerificationFormal MethodsComputer ScienceNetwork AnalysisNetwork ProtocolsInternet Of ThingsAutomated ReasoningFormal Verification
Publications per year
1982–1982
1
1
Rows per page
1–1 of 1