Issued Patents 2021
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11146456 | Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments | Bob Melander | 2021-10-12 |
| 10992540 | Determining formal models using weighting factors for computing elements in multi-cloud environments | Sebastian Jeuk | 2021-04-27 |
| 10904099 | Formal model checking based approaches to optimized realizations of network functions in multi-cloud environments | Bob Melander | 2021-01-26 |