Výsledky vyhledávání - Hardware Hardware validation Functional verification
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
-
1
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ISBN: 9783319728148Vydáno: Cham : Springer International Publishing, 2018.
Elektronický zdroj E-kniha

