Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Timmers, Ferry"'
Autor:
Thuijsman, Sander, Kahraman, Gökhan, Mohamadkhani, Alireza, Timmers, Ferry, Cleophas, Loek, Geilen, Marc, Groote, Jan Friso, Reniers, Michel, Schiffelers, Ramon, Voeten, Jeroen
Supervisory control design of cyber-physical systems has many challenges. Model-based systems engineering can address these, with solutions originating from various disciplines. We discuss several tools, each state-of-the-art in its own discipline, o
Externí odkaz:
http://arxiv.org/abs/2302.03503
Publikováno v:
31st International Conference on Concurrency Theory (CONCUR2020), 8:1-8:20
STARTPAGE=8:1;ENDPAGE=8:20;TITLE=31st International Conference on Concurrency Theory (CONCUR2020)
STARTPAGE=8:1;ENDPAGE=8:20;TITLE=31st International Conference on Concurrency Theory (CONCUR2020)
This article improves the time bound for calculating the weak/branching bisimulation minimisation quotient on state-labelled discrete-time Markov chains from O(m n) to an expected-time O(m log4 n), where n is the number of states and m the number of
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de5d452cbdde17c3b095b7c41418d57f
https://research.tue.nl/nl/publications/b61095dc-c86e-497d-9fef-8ffc97a4188f
https://research.tue.nl/nl/publications/b61095dc-c86e-497d-9fef-8ffc97a4188f
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.
Autor:
TIMMERS, Ferry, GROOTE, Jan Friso
Publikováno v:
Scientific Annals of Computer Science; 2020, Vol. 30 Issue 1, p69-104, 36p
Autor:
Hossein Hojjat, Mieke Massink
This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers prese