Institute for Systems Engineering and Automation

Erscheinungsjahr	ISBN	Autor(en)	Titel
2004	978-3-902457-01-1	Jens Grabowski · Brian Nielsen	Proceedings of Workshop on Formal Approaches to Testing of Software (FATES 2004): 19th IEEE International Conference on Automated Software Engineering - ASE 2004
''	978-3-902457-02-8	Thomas Gschwind · Gerti Kappel · Cecilia Mascolo	Proceedings of Software Engineering and Middleware Workshop: 19th IEEE International Conference on Automated Software
2005	978-3-902457-09-7		Proceedings of the Work in Progress Session. Held in connection with the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA ... on Digital System Design (DSD 2005)