-
1دورية أكاديمية
المؤلفون: Fokkink, W., Goorden, M., van de Mortel-Fronczak, J., Reijnen, F., Rooda, J.
المصدر: Computer. 55(10):48-54 Oct, 2022
-
2دورية أكاديمية
المؤلفون: 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
-
3كتاب إلكتروني
المؤلفون: 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 EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Sankaranarayanan, Sriram, editorAff7, Sharygina, Natasha, editorAff8
المصدر: 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
-
4كتاب إلكتروني
المؤلفون: 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 EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Pang, Jun, editorAff8, Zhang, Lijun, editorAff9
المصدر: Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings. 12153:1-16
-
5مؤتمر
المؤلفون: 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
-
6مؤتمر
المؤلفون: 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)
-
7مؤتمر
المؤلفون: 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)
-
8تقرير
المؤلفون: 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
-
9مؤتمر
المؤلفون: 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)
-
10كتاب إلكتروني
المؤلفون: 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, editorAff1, Kanade, Takeo, editorAff2, Kittler, Josef, editorAff3, Kleinberg, Jon M., editorAff4, Mattern, Friedemann, editorAff5, Mitchell, John C., editorAff6, Naor, Moni, editorAff7, Nierstrasz, Oscar, editorAff8, Pandu Rangan, C., editorAff9, Steffen, Bernhard, editorAff10, Sudan, Madhu, editorAff11, Terzopoulos, Demetri, editorAff12, Tygar, Doug, editorAff13, Vardi, Moshe Y., editorAff14, Weikum, Gerhard, editorAff15, Ábrahám, Erika, editorAff16, Havelund, Klaus, editorAff17
المصدر: 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