Výsledky vyhľadávania - Software Program Verification—For- mal methods

  • Zobrazené výsledky 1 - 2 z 2
Upresniť hľadanie
  1. 1
    Obálka

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

    Vydavateľské údaje: 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…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

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

    ISSN: 0031-868X, 1477-9730
    Vydavateľské údaje: Oxford, UK Blackwell Publishing Ltd 01.06.2003
    Vydané v Photogrammetric record (01.06.2003)
    “… Also, commercial software packages for automatic aerial triangulation came on to the market in the last decade…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: