Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Generation of application codes from a formal specification

Generation of application codes from a formal specification

US Patent 10409563 · Granted Sep 10, 2019

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Avionic system of an aircraft2023
Communication network on board a vehicle and a switch of such a communication ne2018
Method and device for loading and executing instructions with deterministic cycl2014
Package switching network with a deterministic behavior2008
Process and system evaluating deterministic behavior of a packet switching netwo2008
Process for checking the deterministic behavior of a packet switching network2008
Process for implementing a switched full-duplex ethernet type communication netw2008
Redundant switched full-duplex Ethernet type communication network2008
Switched full-duplex ethernet type communication network and implementation proc2008
Process for implementation of a redundant switched full-duplex ethernet type com2008
Process for controlling a switched full-duplex ethernet type communication netwo2008
Switched full-duplex ethernet type communication network and implementation proc2007