The student initiative HORYZN is looking for support in their “Security and Certification” team, either in the scope of a bachelor-/semestral-/master’s thesis or as project work. Find out more in the attached pdf.
Dr. Johann Schumann, a guest researcher from SGT/NASA, will give a tutorial on FRET (Formal Requirements Elicitation Tool), an-open source requirements formalization tool currently developed by NASA. The tutorial is planned for Thursday, January 23, 15:00 – 17:00 and Friday, January 24, 14:00 – 16:00 in the room MW 3618 (FSD Seminar Room). For a detailed abstract, please refer to the attached announcement.
Please register by contacting Julian Rhein.