From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.

R. Su, J. van Schuppen, J. Rooda, и A. Hofkamp. Autom., 46 (6): 968-978 (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

T Weber

T Hollemann

T Fauster

T Neumann

T Attin

Другие публикации лиц с тем же именем

Assessing the quality of model-comparison tools: a method and a benchmark data set.M. van den Brand, A. Hofkamp, T. Verhoeff, и Z. Protic. IWMCP@ICMT, стр. 2-11. ACM, (2011)Formally specified type checkers for domain specific languages: experience report.M. van den Brand, A. van der Meer, A. Serebrenik, и A. Hofkamp. LDTA, стр. 12. ACM, (2010)Efficient nonconflict check by using automaton abstractions.R. Su, J. van Schuppen, J. Rooda, и A. Hofkamp. ECC, стр. 1997-2002. IEEE, (2009)CIF 3: Model-Based Engineering of Supervisory Controllers.D. van Beek, W. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J. van de Mortel-Fronczak, и M. Reniers. TACAS, том 8413 из Lecture Notes in Computer Science, стр. 575-580. Springer, (2014)Nonconflict check by using sequential automaton abstractions based on weak observation equivalence.R. Su, J. van Schuppen, J. Rooda, и A. Hofkamp. Autom., 46 (6): 968-978 (2010)Tech United Eindhoven @Home 2019 Champions Paper.M. van der Burgh, J. Lunenburg, R. Appeldoorn, L. van Beek, J. Geijsberts, L. Janssen, P. van Dooren, H. van Rooy, A. Aggarwal, S. Aleksandrov и 4 other автор(ы). RoboCup, том 11531 из Lecture Notes in Computer Science, стр. 529-539. Springer, (2019)Finite Response and Confluence of State-based Supervisory Controllers.F. Reijnen, A. Hofkamp, J. van de Mortel-Fronczak, M. Reniers, и J. Rooda. CASE, стр. 509-516. IEEE, (2019)Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit.W. Fokkink, M. Goorden, D. Hendriks, D. van Beek, A. Hofkamp, F. Reijnen, L. Etman, L. Moormann, J. van de Mortel-Fronczak, M. Reniers и 6 other автор(ы). TACAS (2), том 13994 из Lecture Notes in Computer Science, стр. 44-52. Springer, (2023)The Road Ahead for Supervisor Synthesis.M. Goorden, L. Moormann, F. Reijnen, J. Verbakel, D. van Beek, A. Hofkamp, J. van de Mortel-Fronczak, M. Reniers, W. Fokkink, J. Rooda и 1 other автор(ы). SETTA, том 12153 из Lecture Notes in Computer Science, стр. 1-16. Springer, (2020)

BibSonomy

Disambiguation