Open luigiapetre opened 5 years ago
Course code, if applicable: University hosting the course: Eindhoven University of Technology Contact person: Jeroen Keiren, j.j.a.keiren@tue.nl Concepts taught: UML, Labelled transition systems, LTL, timed automata, model-based testing, ioco Tools used: starUML, UPPAAL Webpage: https://osiris.tue.nl/osiris_student_tueprd/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2018&cursus=2IX20&taal=en
Course code, if applicable: University hosting the course: Eindhoven University of Technology Contact person: Jeroen Keiren, j.j.a.keiren@tue.nl Concepts taught: UML, Labelled transition systems, LTL, timed automata, model-based testing, ioco Tools used: starUML, UPPAAL Webpage: https://osiris.tue.nl/osiris_student_tueprd/OnderwijsCatalogusSelect.do?selectie=cursus&collegejaar=2018&cursus=2IX20&taal=en