Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA - MOST Wiedzy

Twoje konto

zaloguj

Wyszukiwarka

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (3)

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

  • Zespół Mechaniki i Wytrzymałości Materiałów

    Potencjał Badawczy

    Statyka i dynamika złożonych układów mechanicznych i biomechanicznych

  • Katedra Geotechniki, Geologii i Budownictwa Morskiego

    Potencjał Badawczy

    * badania teoretyczne i doświadczalne oraz analizy numeryczne w Mechanice Gruntów; * badania laboratoryjne i polowe gruntów; * metody wzmacniania podłoża gruntowego; * “zieloną geotechnikę” z zastosowaniem ekologicznych materiałów, technologii i zagospodarowaniem produktów ubocznych; * badania teoretyczne, doświadczalne oraz zagadnienia praktyczne fundamentowania w odniesieniu do fundamentów bezpośrednich i głębokich, tunelowania,...

  • Katedra Zarządzania

    Potencjał Badawczy

    * zarządzanie wiedzą i informacją * zarządzanie strategiczne w wyższych uczelniach * wykorzystywanie metod nieparametrycznych do pomiaru efektywności systemów szkolnictwa wyższego * modele biznesowe w zarządzaniu organizacjami * zarządzanie procesem innowacyjnym w MŚP * strategia i modele biznesu współczesnego przedsiębiorstwa * społeczeństwo informacyjne i jego wskaźniki rozwoju * zarządzanie morskimi portami jachtowymi 2 gospodarce...

Pozostałe wyniki Pokaż wszystkie wyniki (1)

Wyniki wyszukiwania dla: WERYFIKACJA FORMALNA

  • Safety of computer control systems: challenges and results in software development.

    Publikacja
    • J. Zalewski
    • W. Ehrenberger
    • F. Saglietti
    • J. Górski
    • A. Kornecki

    - ANNUAL REVIEWS IN CONTROL - Rok 2003

    Artykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.