Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Fey, G��rschwin"'
Autor:
Plambeck, Swantje, Schyga, Jakob, Hinckeldeyn, Johannes, Kreutzfeldt, Jochen, Fey, G��rschwin
Cyber Physical Systems (CPSs) are often black box systems for which no exact model exists. Automata learning allows to build abstract models of CPSs and is used in several scenarios, i.e. simulation, monitoring, and test case generation. Real time lo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59f0001157a49bf56d3ab7d4f932f3a8
http://arxiv.org/abs/2105.11911
http://arxiv.org/abs/2105.11911
Due to the rapidly growing size of integrated circuits, there is a need for new algorithms for Automatic Test Pattern Generation (ATPG). While classical algorithms reach their limit, there have been recent advances in algorithms to solve Boolean Sati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::383711a4c57534af143a25bf392431f8
Publikováno v:
Proceedings of the 2014 Forum on Specification & Design Languages (FDL); 2014, p1-6, 6p
