[an error occurred while processing this directive]
Bild mit Unilogo
homeicon university sucheicon search siteicon sitemap kontakticon contact impressicon legal notice
unilogo University of Stuttgart 
Institute of Formal Methods in Computer Science

Software Reliability and Security Group

[an error occurred while processing this directive] englishicon
 





The Group SZS is currently not active



x Contact   (how to contact and find us)

x People   (current members of our group, including photo)

x Teaching   (courses, seminars, topics for Master theses and Softwarepraktika)

x Research   (current projects, resources)

x Publications   (sorted by year, type, author or project)

x Software and Tools   (developed and maintained by our group)

x Some useful links (Mensa, Uni Calendar, Literature)

x Positions (available PhD, PostDoc and student research assistant positions)