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) - Knihy
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) - Knihy
(1) - Elektronické zdroje
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) - Knihy
Citace
předmětové heslo
Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom
jak používáme cookies.