Improving timing analysis effectiveness for scenario-based specifications by combining SAT and LP techniques

Autor:	Longlong Lu, Minxue Pan, Tian Zhang, Xuandong Li
Rok vydání:	2022
Předmět:	Modeling and Simulation Software
Zdroj:	Software and Systems Modeling. 21:1321-1338
ISSN:	1619-1374 1619-1366
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::de5a73af33a22106e0369264fb9b3801 https://doi.org/10.1007/s10270-022-00980-8 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.