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

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

المؤلفون: 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

المؤلفون: 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

المؤلفون: Wijs, A., Fokkink, W.

المصدر: 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05) Engineering of complex computer systems Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on. :184-193 2005

Relation: Proceedings. 10th IEEE International Conference on Engineering of Complex Computer Systems

المؤلفون: Bloom, B., Fokkink, W., van Glabbeek, R.

المصدر: Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332) Logic in computer science Logic in Computer Science, 2000. Proceedings. 15th Annual IEEE Symposium on. :107-118 2000

Relation: Proceedings of Fifteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2000)

المؤلفون: Bakhshi, R., Cloth, L., Fokkink, W., Haverkort, B.

المصدر: 2009 Sixth International Conference on the Quantitative Evaluation of Systems Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the. :247-256 Sep, 2009

Relation: 2009 Sixth International Conference on the Quantitative Evaluation of Systems (QEST)

المؤلفون: Bloom, B., Fokkink, W. J., van Glabbeek, R. J.

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.3.1, F.1.2, F.3.2

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

المؤلفون: Jun Pang, Fokkink, W., Hofman, R., Veldema, R.

المصدر: Proceedings International Parallel and Distributed Processing Symposium Parallel and distributed processing Parallel and Distributed Processing Symposium, 2003. Proceedings. International. :10 pp. 2003

Relation: International Parallel and Distributed Processing Symposium (IPDPS 2003)

المؤلفون: van Beek, D. A.^Aff18, Fokkink, W. J.^Aff18, Hendriks, D.^Aff18, Hofkamp, A.^Aff18, Markovski, J.^Aff18, van de Mortel-Fronczak, J. M.^Aff18, Reniers, M. A.^Aff18

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Doug, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Ábrahám, Erika, editor^Aff16, Havelund, Klaus, editor^Aff17

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. 8413:575-580