Access

    Download


    Export, share and cite



    Title :

    Constructive analysis and computer-certified formal proofs for selected control-theoretical aspects


    Contributors:

    Publication date :

    2025


    Size :

    1 Online-Ressource (ix, 193 Seiten)


    Remarks:

    Illustrationen, Diagramme
    Kumulatives Verfahren, enthält Zeitschriftenaufsätze
    Digital preservation by Technische Universität Chemnitz


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English



    Classification :

    DDC:    629.8 / 511.36



    Robust Computer System Proofs in PVS

    Wilding, M. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1997


    Constructive analysis of accidents

    Ehrman, L. | Engineering Index Backfile | 1945


    Computer Aided Implementation of Logistics Processes - Selected Aspects

    Jacyna-Gołda, Ilona / Lewczuk, Konrad / Szczepański, Emilian et al. | British Library Conference Proceedings | 2015


    Computer Aided Implementation of Logistics Processes – Selected Aspects

    Jacyna-Gołda, Ilona / Lewczuk, Konrad / Szczepański, Emilian et al. | Springer Verlag | 2015


    Certified control for self-driving cars

    JACKSON DANIEL / DECASTRO JONATHAN / KONG SOON HO et al. | European Patent Office | 2023

    Free access