Showing 1 open source project for "codesys"

View related business solutions
  • Managed Cybersecurity Platform Built for MSPs Icon
    Managed Cybersecurity Platform Built for MSPs

    Discover the cyber platform that secures and insures SMEs

    In a world that lives and breathes all things digital, every business is at risk. Cybersecurity has become a major problem for small and growing businesses due to limited budgets, resources, time, and training. Hackers are leveraging these vulnerabilities, and most of the existing cybersecurity solutions on the market are too cumbersome, too complicated, and far too costly.
  • BIGDBM is a leading provider of B2B data Icon
    BIGDBM is a leading provider of B2B data

    For marketing companies, sales organizations, data providers, e-commerce stores

    Unlock significant value in your marketing campaigns, lead generation strategies, and identity verification workflows with our leading US consumer and B2B datasets. Our unrivaled consumer datasets provide you with valuable consumer insights including lifestyle attributes, buyer intent, and consumer website visits. Explore our B2B dataset for comprehensive and up-to-date contact data on US companies and professionals to build your sales pipeline. Trust our identity data for accurate identity verification to ensure platform trust and compliance.
  • 1
    G4LTL-ST

    G4LTL-ST

    Generating PLC programs from formal specifications

    G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next