Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:

    Erscheinungsdatum :

    2025


    Format / Umfang :

    1 Online-Ressource (ix, 193 Seiten)


    Anmerkungen:

    Illustrationen, Diagramme
    Kumulatives Verfahren, enthält Zeitschriftenaufsätze
    Langzeitarchivierung durch Technische Universität Chemnitz


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Klassifikation :

    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. | Springer Verlag | 2015


    Computer Aided Implementation of Logistics Processes - Selected Aspects

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


    Certified control for self-driving cars

    JACKSON DANIEL / DECASTRO JONATHAN / KONG SOON HO et al. | Europäisches Patentamt | 2023

    Freier Zugriff