Patents/Inventors

Roberto Bruttomesso

MorazzoneIT1 patent

2 Patents

US119069432024
Method for Automatic Translation of Ladder Logic to a Smt-based Model Checker in a Network
Nozomi Networks Sagl
0 cites
US118316712023
Method for Automatic Derivation of Attack Paths in a Network
Nozomi Networks Sagl
0 cites