Shawn L. Ramirez Arianna J. Robbins is an author at TimeSys (United States) specializing in computer engineering, formal methods, and asynchronous circuits.
Top concepts
EngineeringFormal MethodsProcess ControlComputer ScienceProgram AnalysisReal-time SystemsFormal VerificationSystems EngineeringAsynchronous SystemsComputer Engineering
Publications per year
2003–2003
1
1
Rows per page
1–1 of 1