Boudewijn Remigius Heinrich Maria Haverkort

prof.dr.ir.

1990 …2019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference contribution

Evaluating Load Balancing Policies for Performance and Energy-Efficiency

van den Berg, F., Postema, B. F. & Haverkort, B. R. H. M., Apr 2016, Proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2016. Open Publishing Association, p. 98-117 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 227).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
1 Citation (Scopus)
48 Downloads (Pure)

Evaluating Repair Strategies for a Water-Treatment Facility using Arcade

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I., Roolvink, S. & Stoelinga, M. I. A., Jul 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN). Los Alamitos: IEEE Computer Society Press, p. 419-424 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
12 Citations (Scopus)
49 Downloads (Pure)

Extension of heuristics for simulating population overflow in Jackson tandem queuing networks to non-Markovian tandem queuing networks

Zaburnenko, T. S., de Boer, P-T. & Haverkort, B. R. H. M., Sep 2008, Proceedings of the seventh International Workshop on Rare Event Simulation, RESIM2008. Rennes, France: INRIA, p. 165-168 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
10 Downloads (Pure)

Faster SPDL Model Checking Through Property-Driven State Space Generation

Kuntz, M. & Haverkort, B. R., 14 Sep 2007, Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings. Wolter, K. (ed.). Berlin, Heidelberg: Springer, p. 80-96 17 p. (Lecture Notes in Computer Science; vol. 4748).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
13 Downloads (Pure)

Fast simulation for slow paths in Markov models

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., Jun 2012, Proceedings of the Ninth International Workshop on Rare Event Simulation, RESIM 2012. Trondheim, Norway: NTNU University Press, p. 36-38 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
25 Downloads (Pure)

Fitting heavy-tailed HTTP traces with the new stratified EM-algorithm

Sadre, R. & Haverkort, B. R., Feb 2008, 4th International Telecommunication Networking Workshop on QoS in Multiservice IP Networks (IT-NEWS). Los Alamitos: IEEE Computer Society Press, p. 254-261 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
7 Citations (Scopus)
27 Downloads (Pure)

Five Performability Algorithms: A Comparison

Cloth, L. & Haverkort, B. R., Jun 2006, MAM 2006: Markov Anniversary Meeting. Langville, A. N. & Stewart, W. J. (eds.). Raleigh, NC, USA: Boson Books, p. 39-54 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
22 Downloads (Pure)

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

Postema, B. F., Remke, A. K. I., Haverkort, B. R. H. M. & Ghasemieh, H., 17 Mar 2014, 17th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2014. Switzerland: Springer, p. 255-259 5 p. (Lecture Notes in Computer Science; vol. 8376).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
5 Citations (Scopus)
110 Downloads (Pure)

Formal Modeling and Analysis of Timed Systems: Technology Push or Market Pull?

Haverkort, B. R. H. M., Sep 2011, 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2011). Fahrenberg, U. & Tripakis, S. (eds.). Heidelberg: Springer, p. 18-24 7 p. (Lecture Notes in Computer Science; vol. 6919).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)

Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I. & Roolvink, S., 5 Sep 2010, Proceedings of the ESREL 2010 Annual Conference. Ale, B. J. M., Papazoglou, I. A. & Zio, E. (eds.). London: Taylor & Francis, p. 27-34 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
13 Downloads (Pure)

GCSRL - A Logic for Stochastic Reward Models with Timed and Untimed Behaviour

Kuntz, M. & Haverkort, B. R., Sep 2007, Proceedings of the Eighth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Cloth, L. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 50-56 7 p. (CTIT Workshop Proceedings).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
25 Downloads (Pure)

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems

van den Berg, F., Remke, A. K. I. & Haverkort, B. R. H. M., 30 Aug 2015, Proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015. Beltran, M., Knottenbelt, W. & Bradley, J. (eds.). Berlin: Springer, p. 227-242 16 p. (Lecture Notes in Computer Science; vol. 9272).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
7 Downloads (Pure)

Improving SCADA security of a local process with a power grid model

Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., Aug 2016, Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research, ICS-CSR 2016. UK: BCS Learning & Development Ltd., p. 114-123 10 p. (Electronic Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
111 Downloads (Pure)

Is Quantitative Analysis of Stuxnet Possible?

Kolesnichenko, A. V., de Boer, P-T., Remke, A. K. I., Zambon, E. & Haverkort, B. R. H. M., 7 Sep 2011, QEST 2011: Fast Abstracts. Katoen, J. P. & Van Houdt, B. (eds.). Enschede, The Netherlands: Centre for Telematics and Information Technology (CTIT), p. 9-10 2 p. (CTIT Workshop Proceedings; vol. WP11-03).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
105 Downloads (Pure)

Lifetime improvement by battery scheduling

Jongerden, M. R. & Haverkort, B. R. H. M., Jul 2011, Proceedings of the 27th annual UK Performance Engineering Workshop, UKPEW2011. England: Inprint and Design, p. 56-71 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
61 Downloads (Pure)

Mastering Operational Limitations of LEO Satellites - The GOMX-3 Approach

Nies, G., Stenger, M., Krčál, J., Hermanns, H., Bisgaard, M., Gerhardt, D., Haverkort, B. R. H. M., Jongerden, M. R., Larsen, K. G. & Wognsen, E. R., Sep 2016, Proceedings of the 23rd IAA Symposium on Small Missions at the 67th International Astronotical Congress, IAC 16/B4. France: International Astronautical Federation, p. 1-15 15 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
159 Downloads (Pure)

MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets

Martinez Verdugo, J. M. & Haverkort, B. R. H. M., 2006, Proceedings of the Third Int'l. Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society Press, p. 133-134 2 p. 10.1109/QEST.2006.29

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
96 Downloads (Pure)

Maximizing System Lifetime by Battery Scheduling

Jongerden, M. R., Haverkort, B. R. H. M., Bohnenkamp, H. C. & Katoen, J. P., 29 Jun 2009, Proceedings of the 39th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009. Los Alamitos: IEEE Computer Society Press, p. 63-72 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
27 Citations (Scopus)
83 Downloads (Pure)

Mean-Field Analysis for the Evaluation of Gossip Protocols

Bakshi, R., Cloth, L., Fokkink, W. & Haverkort, B. R. H. M., Sep 2009, IEEE Sixth International Conference on the Quantitative Evaluation of Systems, (QEST '09). Los Alamitos: IEEE Computer Society Press, p. 247-256 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Citations (Scopus)
72 Downloads (Pure)

Measuring and modelling of application flow length in commercial GPRS networks

Kalden, R. & Haverkort, B. R. H. M., 2006, Third International Conference on the Quantitative Evaluation of Systems. Los Alamitos: IEEE Computer Society, p. 83-92 10 p. 10.1109/QEST.2006.30

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
84 Downloads (Pure)

Message from the IWQoS 2008 chairs!

Karlsson, G., Karagiannis, G. & Haverkort, B. R. H. M., Jun 2008, 2008 16th International Workshop on Quality of Service: Enschede, The Netherlands, 2-4 June 2008. van den Berg, H. L. & Karlsson, G. (eds.). New York: IEEE, p. 1

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
9 Downloads (Pure)

Model checking action- and state-labelled Markov chains

Cloth, L., Baier, C., Kuntz, M., Siegle, M. & Haverkort, B. R. H. M., 28 Jun 2004, Proceedings of the 2004 International Conference on Dependable Systems and Networks. Florence, Italy: IEEE Computer Society Press, p. 701-710 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

19 Citations (Scopus)

Model Checking CSRL-Specified Performability Properties

Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P. & Baier, C., 2001, Proceedings of the Fifth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS 5). German, R., Lüthi, J. & Telek, M. (eds.). Erlangen: University of Erlangen, p. - 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Model checking for survivability

Cloth, L. & Haverkort, B. R. H. M., 19 Sep 2005, Second International Conference on the Quantitative Evaluation of Systems (QEST'05). IEEE Computer Society, p. 145-154

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

40 Citations (Scopus)

Model checking Infinite-State Markov Chains

Remke, A. K. I., Haverkort, B. R. H. M. & Cloth, L., 2005, Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2005). Halbwachs, N. & Zuck, L. D. (eds.). Berlin / Heidelberg, Germany: Springer, p. 237-252 16 p. (Lecture Notes in Computer Science; vol. 3440).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
23 Citations (Scopus)
10 Downloads (Pure)

Model Checking pathCSL

Cloth, L., Haverkort, B., Hermanns, H., Katoen, J-P. & Baier, C., 6 Sep 2003, PMCCS-6: The Sixth International Workshop on Performability Modeling of Computer and Communication Systems. Bobbio, A., Deavours, D. & Ma, Y. (eds.). Urbana-Champaign: University of Illinois at Urbana-Champaign, p. 19-22

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
8 Downloads (Pure)

Model-checking performability properties

Haverkort, B. R. H. M., Cloth, L., Hermanns, H., Katoen, J. P. & Baier, C., 2002, Proceedings of the Int. IEEE Conference on Dependable Systems and Networks (DSN). Washingthon (D.C.), USA: IEEE CS Press, p. - 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

56 Citations (Scopus)

On the Logical Characterisation of Performability Properties

Baier, C., Haverkort, B., Hermanns, H. & Katoen, J. P., Jul 2000, Automata, Languages and Programming: 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 9–15, 2000 Proceedings. Montanari, U., Rolin, J. D. P. & Welzl, E. (eds.). Berlin: Springer, p. 780-792 13 p. (Lecture Notes in Computer Science; vol. 1853).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
81 Citations (Scopus)
49 Downloads (Pure)

On the Use of Model Checking Techniques for Quantitative Dependability Evaluation

Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., 21 Feb 2000, 9th IEEE Symposium on Reliable Distributed Systems, SRDS 2000. Nuremberg, Germany, p. 228-237 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Performance and Dependability Evaluation: Successes, Failures and Challenges

Haverkort, B. R. H. M., 24 Sep 2008, EPEW. London: Springer, p. 1-1 1 p. 10.1007/978-3-540-87412-6_1. (Lecture Notes in Computer Science; vol. 5261, no. 412).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Performance evaluation for collision prevention based on a domain specic language

van den Berg, F., Remke, A. K. I., Mooij, A. & Haverkort, B. R. H. M., 29 Sep 2013, Proceedings of the 10th European Workshop on Performance Engineering, EPEW 2013. Balsamo, M. S., Knottenbelt, W. J. & Marin, A. (eds.). Berlin: Springer, p. 276-287 12 p. (Lecture Notes in Computer Science; vol. 8168).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
15 Downloads (Pure)

Performance evaluation of intelligent network services

Leever, P. J. E., Vermeer, G. S., Reijmerink, R. A. J., Franken, L. N. J. & Haverkort, B. R., 1993, Tenth UK Teletraffic Symposium: 10th Performance Engineering in Telecommunications Network. Piscataway, NJ: IEEE, 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
2 Downloads (Pure)

Performance Evaluation of Threshold-Based ATM Cell Scheduling Policies under Markov-Modulated Poisson Traffic using Stochastic Petri Nets

Haverkort, B. R., Idzenga, H. P. & Kim, B. G., 13 Feb 1995, Performance Modelling and Evaluation of ATM Networks. Kouvatsos, D. D. (ed.). Boston, MA: Springer, p. 553-572 (IFIP - The International Federation for Information Processing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
10 Downloads (Pure)

Performance of LTE for smart grid communications

Karagiannis, G., Pham, G. T., Nguyen, A. D., Heijenk, G., Haverkort, B. R. H. M. & Campfens, F., Mar 2014, Proceedings of the 17th International GI/ITG Conference on “Measurement, Modelling and Evaluation of Computing Systems‿ and “Dependability and Fault-Tolerance‿, MMB & DFT 2014. Fischbach, K. & Krieger, U. R. (eds.). London: Springer, p. 225-239 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

16 Citations (Scopus)

Preface

Cerná, I. & Haverkort, B. R. H. M., 4 Mar 2008, 6th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007. Amsterdam: Elsevier, p. 1-2 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
6 Downloads (Pure)

Probabilistic verification of Architectural software models using SoftArc and Prism

Haverkort, B. R. H. M., Kuntz, G. W. M., Leitner-Fischer, F., Remke, A. K. I. & Roolvink, S., 5 Sep 2010, Proceedings of the ESREL 2010 Annual Conference. London: Taylor & Francis, p. 852-860 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Quality of Service Management in Distributed Systems using Dynamic Routation

Franken, L. J. N., Janssen, P., Haverkort, B. R. H. M. & van Liempd, G., 13 Feb 1995, Open Distributed Processing: Experiences with distributed environments. Proceedings of the third IFIP TC 6/WG 6.1 International Conference on Open Distributed Processing, 1994. Raymond, K. & Armstrong, L. (eds.). Berlin, Germany: Springer, p. 384-395 (IFIP - The International Federation for Information Processing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
17 Downloads (Pure)

Quantitative Verification in Practice

Haverkort, B. R. H. M., Katoen, J-P. & Larsen, K. G., 2010, Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Berlin: Springer, p. 127-127 1 p. (Lecture Notes in Computer Science; vol. 6416).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

3 Downloads (Pure)

Rare event simulation for highly dependable systems with fast repairs

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 2010, Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010. Los Alamitos: IEEE, p. 251-260 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
7 Citations (Scopus)
59 Downloads (Pure)

Reachability in continuous-time Markov reward decision processes

Baier, C., Haverkort, B. R. H. M., Hermanns, H. & Katoen, J. P., Feb 2008, Logic and Automata: History and Perspectives. Flum, J., Graedel, E. & Wilke, T. (eds.). Amsterdam: Amsterdam University Press, p. 53-71 19 p. (Texts in Logic and Games; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
29 Downloads (Pure)

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition

Ghasemieh, H., Remke, A. K. I., Haverkort, B. R. H. M. & Gribaudo, M., Sep 2012, 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012). London: Springer, p. 139-154 16 p. (Lecture Notes in Computer Science; vol. 7595).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
17 Citations (Scopus)
21 Downloads (Pure)

Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M. & Stoelinga, M. I. A., Apr 2008, Proceedings of the second workshop on foundations of interface theories (FIT). Aalborg, Denmark: University of Aalborg, p. 5-10 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

File
25 Downloads (Pure)

Sensitivity and Uncertainty Analyses in Performability modelling

Haverkort, B. R. H. M. & Meeuwissen, A. M. H., 17 Oct 1992, Proceedings of the 11th symposium on reliable distributed systems. Houston: IEEE, p. 93-102 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
4 Citations (Scopus)
25 Downloads (Pure)

Setting the parameters right for two-hop IEEE 802.11e ad hoc networks

Remke, A. K. I., Haverkort, B. R. H. M., Heijenk, G. & Bax, J., Mar 2010, 15th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems. Müller-Clostermann, B., Echtle, K. & Rathgeb, E. P. (eds.). London: Springer, p. 168-182 15 p. (Lecture Notes in Computer Science; vol. 5987).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
85 Downloads (Pure)

Simulative and Analytical Evaluation for ASD-Based Embedded Software

Sadre, R., Remke, A. K. I., Hettinga, S. & Haverkort, B. R. H. M., Mar 2012, 16th International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings. Schmitt, J. B. (ed.). London: Springer, p. 166-181 16 p. (Lecture Notes in Computer Science; vol. 7201).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
1 Citation (Scopus)
81 Downloads (Pure)

Specification of data centre power management strategies

Postema, B. F. & Haverkort, B. R., 16 May 2017, Proceedings of the 8th International Conference on Future Energy Systems, e-Energy 2017. New York, NY, USA: Association for Computing Machinery (ACM), p. 284-289 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)
1 Downloads (Pure)

Stochastic Petri Net Models for the Analysis of Trade-Offs in Data Centres with Power Management

Postema, B. F. & Haverkort, B. R. H. M., 10 Jun 2014, Proceedings of the International Workshop on Energy-Efficient Data Centres, E2DC 2014. Klingert, S., Chinnici, M. & Rey Porto, M. (eds.). London: Springer, p. 52-67 16 p. (Lecture Notes in Computer Science; vol. 8945).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
2 Downloads (Pure)

Survivability evaluation of fluid critical infrastructures using hybrid Petri nets

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., Dec 2013, Proceedings of the 19th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2013. USA: IEEE Computer Society, p. 152-161 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
20 Citations (Scopus)
84 Downloads (Pure)

Surviving Survivability Specifications

Cloth, L. & Haverkort, B. R. H. M., 28 Jun 2005, Supplemental Volume of the 2005 Int.'l Conference on Dependable Systems and Networks. Dr. Bondavalli, A., Prof.dr.ir. Haverkort, B. R. H. M. & Prof. Tang, D. (eds.). Yokohama, Japan: IEEE Computer Society, p. 70-71 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

The 3TU Embedded Systems master in the Netherlands

Smit, G. J. M., van der Hoeven, G., Groote, J. F., Otten, R. H. J. M., Tonino, H., Juurlink, B. H. H. & Haverkort, B. R. H. M., 15 Oct 2009, 2009 Workshop on Embedded Systems Education. Grenoble, France: Association for Computing Machinery (ACM), p. 8-12 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
33 Downloads (Pure)