Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti
Diskusia k článku: Vyvinutý operačný systém s matematickým dôkazom o svojej bezpečnosti
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Re: Zial...
Od: still
|
Pridané:
2009-08-15 13:23:34
Na mikrokernel to aj bude stacit. Tam nie je potrebne mat implementovane vsetko a so zameranim na automobily a ine samostatne zariadenia uz vobec nie multiuzivatelske prostredie ;)
|