formální verifikace
verifikace formální
verifikace (počítačová věda)
počítačové systémy
počítačová věda
formal verification
Soubor věcných témat
(2) - Soubor věcných témat
(2) - Books
multiprocesorové systémy
systémy multiprocesorové
paralelní architektury
počítačové systémy
multiprocessor systems
Soubor věcných témat
(1) - Soubor osobních jmen a jmen rodin (rodů)
(2) - Soubor věcných témat
(2) - Books
(1) - Electronic sources
vestavěné systémy
systémy vestavěné
vnořené systémy
systémy vnořené
vložené systémy
systémy vložené
Microsoft Windows XP Embedded (operační systém)
Microsoft Windows XP Embedded (operační systém)
počítačové systémy
embedded systems
Soubor věcných témat
(2) - Soubor věcných témat
(1) - Books
Citation
subject heading
This site uses cookies to make them easier to browse. Learn more about
how we use cookies.
