Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Higher order logic applied to expert systems for alarm analysis, filtering, correlation and root causes which converts a specification proof into a program language

Higher order logic applied to expert systems for alarm analysis, filtering, correlation and root causes which converts a specification proof into a program language

US Patent 8219512 · Granted Jul 10, 2012

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Holder with an interactive NFC tag2025
Vehicle trim component2025
Configurable manifold water distribution system2025
Turbine housing2025
Manifold water distribution device2024
Configurable manifold water distribution system2023
Vehicle interior component2022
Seat arrangement2019
System and method for manufacturing a vehicle interior component having an embed2018
Tailor welded seat and components2015
Method and apparatus for efficient extraction of information from signals2015
Viewing multi-dimensional metric data from multiple test cases2014