Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Bit-blasting"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Real-world Software Product Lines (SPLs) need Numerical Feature Models (s) whose features have not only boolean values that satisfy boolean constraints but also have numeric attributes that satisfy arithmetic constraints. An essential operation on s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::3d21419e2b154df6a600fc44dc6e9cd8
https://zenodo.org/record/8168073
https://zenodo.org/record/8168073
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This is a pre-print, please access and cite the published version: https://doi.org/10.1007/978-3-031-08129-3_4 Real-world Software Product Lines (SPLs) need Numerical Feature Models (NFMs) whose features not only have boolean values satisfying boolea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc54d6664ff9390113b31de9b8a12135
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.