Suchergebnisse - Software Program Verification—For- mal methods

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    ISSN: 0031-868X, 1477-9730
    Veröffentlicht: Oxford, UK Blackwell Publishing Ltd 01.06.2003
    Veröffentlicht in Photogrammetric record (01.06.2003)
    “… Also, commercial software packages for automatic aerial triangulation came on to the market in the last decade …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: