Inventor

NIRAKH APPA RAO

US3 patents

⚠️ This page may combine multiple inventors who share the name “NIRAKH APPA RAO”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

CONRAD MIRKO

2 patents

US8856726B2Oct 7, 2014

Verification of computer-executable code generated from a slice of a model

CONRAD MIRKO22 citations89

US8869103B2Oct 21, 2014

Using intermediate representations to verify computer-executable code generated from a model

CONRAD MIRKO14 citations81

MATHWORKS INC

1 patent

US9612806B2Apr 4, 2017

Verification of computer-executable code generated from a model

MATHWORKS INC10 citations82