Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Stachon, Max"'
Autor:
Löding, Christof, Stachon, Max Philip
Publikováno v:
Fundamenta Informaticae, Volume 189, Issue 1 (July 1, 2023) fi:10322
We study minimization problems for deterministic $\omega$-automata in the presence of don't care words. We prove that the number of priorities in deterministic parity automata can be efficiently minimized under an arbitrary set of don't care words. W
Externí odkaz:
http://arxiv.org/abs/2211.08787
Autor:
Löding, Christof1 (AUTHOR) loeding@automata.rwth-aachen.de, Stachon, Max Philip1 (AUTHOR) max.stachon@rwth-aachen.de
Publikováno v:
Fundamenta Informaticae. 2022, Vol. 189 Issue 1, p69-91. 23p.
Journal of object technology : JOT 22(2), 2 (2023). doi:10.5381/jot.2023.22.2.a11
Published by [Verlag nicht ermittelbar], Zürich
Published by [Verlag nicht ermittelbar], Zürich
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d33a5a22c0f185a0f927920d39f75dea
Class Diagrams (CDs) model data structures in object-oriented systems and evolve throughout the course of the development process. Analyzing the semantic differences between consecutive versions of a CD is crucial to detect unintended changes of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::716f871c5607f273bb5ab7e12835573f
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 book contains the refereed proceedings of two long-running events held along with the CAiSE conference relating to the areas of enterprise, business-process and information systems modeling: - the 25th International Conference on Business Proces