Název: Aplikace softwarových komponent pro návrh operačního systému
Překlad názvu: Application of Software Components in Operating System Design
Autoři: Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent)
Typ dokumentu: Disertační práce
Rok: 2015
Jazyk: eng
Abstrakt: [eng] [cze]

Klíčová slova: architektura softwaru; formalní verifikace; HelenOS; mikrojádro; multiserver; operační systémy; softwarové komponenty; formal verification; HelenOS; microkernel; multiserver; operating systems; software architecture; software components

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/81369

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-351032


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Disertační práce
 Záznam vytvořen dne 2017-06-20, naposledy upraven 2022-03-04.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet