Jan Lanik

Follow

Person

Munich, DE

People

Patents Grantslast 30 patents

Information Patent Grant
System and method for formal fault propagation analysis
- Patent number 11,816,410
- Issue date Nov 14, 2023
- Siemens Electronic Design Automation Gmbh
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for formal fault propagation analysis
- Patent number 11,520,963
- Issue date Dec 6, 2022
- OneSpin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS
- Publication number 20220414306
- Publication date Dec 29, 2022
- Onespin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR FORMAL FAULT PROPAGATION ANALYSIS
- Publication number 20200200820
- Publication date Jun 25, 2020
- Onespin Solutions GmbH
- Dominik Strasser
- G06 - COMPUTING CALCULATING COUNTING