Onderzoeksmethoden/2014-15/colleges/1. Welkom

Study materials

• Oates: Chapter 1, Chapter 2
• Slides used in the lecture

Additional links

• Aarts, F., Howar, F., Kuppens, H., & Vaandrager, F. (2014). Algorithms for Inferring Register Automata - A Comparison of Existing Approaches. In T. Margaria & B. Steffen (Eds.), Proceedings 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014), 8-11 October 2014, Imperial, Corfu, Greece (pp. 202-219). LNCS 8802, Berlin: Springer Verlag.
• Overview of Bachelor theses of our institute.