We provide a package of strategies for automation of non-linear arithmetic in PVS. In particular, we describe a simplication procedure for the field of real numbers and a strategy for cancellation of common terms.
Real Automation in the Field
2001-12-01
Report
No indication
English
Real-Time Online Simulation at Field Level in Industrial Automation
Springer Verlag | 2025
|Automation improves real-time management
British Library Online Contents | 2007
European Patent Office | 2023
|Asset management - Automation improves real-time management
Online Contents | 2007
Real-time ethernet : Sonderheft der Messtec drives automation
TIBKAT | 2010; 4.2011 - 5.2012; damit Ersch. eingest.