Search Results - Software Program Verification—For- mal methods

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic by Come, David, Brunel, Julien, Doose, David

    Published: IEEE 01.01.2018
    “… This framework is based on FO++, a temporal extension of first-order logic, and Pangolin, a verification engine for C++ programs…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    Practical experiences with automatic aerial triangulation using different software packages by Büyüksali̇h, Gürcan, Li, Zhang

    ISSN: 0031-868X, 1477-9730
    Published: Oxford, UK Blackwell Publishing Ltd 01.06.2003
    Published in Photogrammetric record (01.06.2003)
    “… Also, commercial software packages for automatic aerial triangulation came on to the market in the last decade…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: