Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs

Richard Bogenberger, David Trachtenherz. Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs. In Heinrich C. Mayr, Ruth Breu, editors, Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria, Proceedings. Volume 82 of LNI, pages 35-49, GI, 2006.

Authors

Richard Bogenberger

This author has not been identified. Look up 'Richard Bogenberger' in Google

David Trachtenherz

This author has not been identified. Look up 'David Trachtenherz' in Google