Patents by Inventor Matej KLIMA

Matej KLIMA has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11194700
    Abstract: The invention concerns the method of testing of the IoT system process behaviour in the case of limited network connection affecting part of the tested process where the basic structure for the tested process modelling is a directed graph and where the parts of the process in which failures of the network connection are expected are modelled as specific subgraphs—zones with a risk of connection failure (hereinafter referred to as ZRCF).
    Type: Grant
    Filed: December 29, 2020
    Date of Patent: December 7, 2021
    Assignee: CESKE VYSOKE UCENI TECHNICKE V PRAZE
    Inventors: Miroslav Bures, Matej Klima
  • Publication number: 20210311857
    Abstract: The invention concerns the method of testing of the IoT system process behaviour in the case of limited network connection affecting part of the tested process where the basic structure for the tested process modelling is a directed graph and where the parts of the process in which failures of the network connection are expected are modelled as specific subgraphs—zones with a risk of connection failure (hereinafter referred to as ZRCF).
    Type: Application
    Filed: December 29, 2020
    Publication date: October 7, 2021
    Applicant: CESKE VYSOKE UCENI TECHNICKE V PRAZE
    Inventors: Miroslav BURES, Matej KLIMA