US Patent Issued to COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES on Nov. 11 for "System for formally supervising communications" (French Inventor)

ALEXANDRIA, Va., Nov. 11 -- United States Patent no. 12,466,345, issued on Nov. 11, was assigned to COMMISSARIAT A L'ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES (Paris).

"System for formally supervising communications" was invented by Paul Dubrulle (Paris).

According to the abstract* released by the U.S. Patent & Trademark Office: "A system is provided for formally monitoring communications of a set of specific applications of a platform. The system includes an acquisition module configured to acquire a formal model of a data stream describing the behaviour of a group of participants modelling the set of specific applications, and a communication specification describing software implementations implementing the applications modelled by...