L. Li is an author at Avaya (United States) specializing in system software, formal verification, and engineering.
Top concepts
EngineeringSemantic WebVerificationFormal MethodsSystem SoftwareComputer ScienceInternet Of ThingsFormal VerificationSystems Engineering
Publications per year
2005–2005
1
1
Rows per page
1–1 of 1