المؤلفون: Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F., Rooda, J.

المصدر: Computer. 55(10):48-54 Oct, 2022

المؤلفون: van Hegelsom, J., van de Mortel-Fronczak, J. M., Moormann, L., van Beek, D. A., Rooda, J. E.

مصطلحات موضوعية: Computer Science - Human-Computer Interaction, Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2107.12108

المؤلفون: Goorden, M., Mortel-Fronczak, J.v.d., Reniers, M., Fokkink, W., Rooda, J.

المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 65(4):1625-1639 Apr, 2020

المؤلفون: Fokkink, W. J.^{Aff9, Aff10}, Goorden, M. A.^{Aff11, Aff12}, Hendriks, D.^{Aff13, Aff14}, van Beek, D. A.^Aff9, Hofkamp, A. T.^Aff9, Reijnen, F. F. H.^Aff15, Etman, L. F. P.^Aff9, Moormann, L.^Aff9, van de Mortel-Fronczak, J. M.^Aff9, Reniers, M. A.^Aff9, Rooda, J. E.^Aff9, van der Sanden, L. J.^Aff13, Schiffelers, R. R. H.^{Aff9, Aff16}, Thuijsman, S. B.^Aff9, Verbakel, J. J.^Aff9, Vogel, J. A.^Aff12

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Sankaranarayanan, Sriram, editor^Aff7, Sharygina, Natasha, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. 13994:44-52

المؤلفون: Schouten, R. H. J., Moormann, L., van de Mortel-Fronczak, J. M., Rooda, J. E.

مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

URL الوصول: http://arxiv.org/abs/2102.09821

المؤلفون: Jansen, F. J. A., Etman, L. F. P., Rooda, J. E., Adan, I. J. B. F.

المصدر: Proceedings of the 2012 Winter Simulation Conference (WSC) Simulation Conference (WSC), Proceedings of the 2012 Winter. :1-12 Dec, 2012

Relation: 2012 Winter Simulation Conference - (WSC 2012)

المؤلفون: Goorden, M. A.^Aff10, Moormann, L.^Aff10, Reijnen, F. F. H.^Aff10, Verbakel, J. J.^Aff10, van Beek, D. A.^Aff10, Hofkamp, A. T.^Aff10, van de Mortel-Fronczak, J. M.^Aff10, Reniers, M. A.^Aff10, Fokkink, W. J.^Aff10, Rooda, J. E.^Aff10, Etman, L. F. P.^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Pang, Jun, editor^Aff8, Zhang, Lijun, editor^Aff9

المصدر: Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. 12153:1-16

المؤلفون: Theunissen, R. J. M., Petreczky, M., Schiffelers, R. R. H., van Beek, D. A., Rooda, J. E.

المصدر: IEEE Transactions on Automation Science and Engineering IEEE Trans. Automat. Sci. Eng. Automation Science and Engineering, IEEE Transactions on. 11(1):20-32 Jan, 2014

المؤلفون: Su, R., van Schuppen, J. H., Rooda, J. E.

المصدر: IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 57(1):105-118 Jan, 2012

المؤلفون: Veeger, C. P. L., Etman, L. F. P., Lefeber, E., Adan, I. J. B. F., van Herk, J., Rooda, J. E.

المصدر: IEEE Transactions on Semiconductor Manufacturing IEEE Trans. Semicond. Manufact. Semiconductor Manufacturing, IEEE Transactions on. 24(2):223-236 May, 2011