Constructive analysis and computer-certified formal proofs for selected control-theoretical aspects
2025
1 Online-Ressource (ix, 193 Seiten)
Illustrationen, Diagramme
Kumulatives Verfahren, enthält Zeitschriftenaufsätze
Digital preservation by Technische Universität Chemnitz
Theses
Electronic Resource
English
Robust Computer System Proofs in PVS
British Library Conference Proceedings | 1997
|Constructive analysis of accidents
Engineering Index Backfile | 1945
|Computer Aided Implementation of Logistics Processes - Selected Aspects
British Library Conference Proceedings | 2015
|Computer Aided Implementation of Logistics Processes – Selected Aspects
Springer Verlag | 2015
|