Patents by Inventor Frank Alexander KRÄMER

Frank Alexander KRÄMER 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).

  • IMPROVED STATE SPACE ANALYSIS USING PARTIAL DESCRIPTIONS
    Publication number: 20160179482
    Abstract: A computer implemented method comprising: receiving a system composition comprising an arrangement of one or more complete software building blocks, each of the complete software building blocks having a corresponding partial software building block; determining the reachable steps of each of the partial software building blocks; and combining all the reachable steps of each of the partial software building blocks into a single composition of steps.
    Type: Application
    Filed: August 14, 2014
    Publication date: June 23, 2016
    Inventor: Frank Alexander KRÄMER