System and method for formal verification of statecharts

WO2007041901 Art A1 19. April 2007

Anmelder: Honeywell International Inc. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2007041901
Aktenzeichen: EP05801807
Anmeldetag: 14. Oktober 2005
Veröffentlichung: 19. April 2007
Rechtsraum: WO
IPC: G06F11/28G06F9/45

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: Honeywell International Inc.
Land: 🇺🇸 USA

🇺🇸 Honeywell

US-amerikanischer Mischkonzern mit Schwerpunkten in Luft- und Raumfahrttechnik, Automatisierungslösungen, Gebäudetechnik sowie Spezialchemikalien und -materialien für Industrie- und Verteidigungskunden.

13.051 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von