Výsledky vyhledávání - Software Program Verification—For- mal methods
-
1
Improving Code Quality in ROS Packages Using a Temporal Extension of First-Order Logic
Vydáno: IEEE 01.01.2018Vydáno v 2018 Second IEEE International Conference on Robotic Computing (IRC) (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ískat plný text
Konferenční příspěvek -
2
Practical experiences with automatic aerial triangulation using different software packages
ISSN: 0031-868X, 1477-9730Vydáno: Oxford, UK Blackwell Publishing Ltd 01.06.2003Vydáno v Photogrammetric record (01.06.2003)“… Also, commercial software packages for automatic aerial triangulation came on to the market in the last decade…”
Získat plný text
Journal Article