LexDanaLexDanabeta
Inventor

Carlos Manuel Roman

Inventor
Bethlehem, PA, US

Overview

3→
Patents
1999–2001
Patent span
Physics
Primary field (CPC G)

Patents· 3 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary
G06FElectric digital data processing100%
PatentTitleYear
6,311,293'Detecting of model errors through simplification of model via state reachability analysis'20015,946,481'Method for detecting errors in models through restriction'19995,901,073'Method for detecting errors in models through restriction'1999

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

1999–2001Patents assigned to LUCENT TECHNOLOGIES INC (3)· patent assignee history
1999–2001Based in Bethlehem, PA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees
AssigneePatentsSpan
LUCENT TECHNOLOGIES INC31999–2001
Locations
LocationPatentsSpan
Bethlehem, Pennsylvania, US31999–2001