Onderzoeksmethoden/2014-15/colleges/1. Welkom
Uit Werkplaats
< Onderzoeksmethoden | 2014-15 | colleges
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.