A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems

Florian Markert, Sebastian Oster. A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems. In Ralf Reussner, Alexander Pretschner, Stefan Jähnichen, editors, Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe. Volume 184 of LNI, pages 265-276, GI, 2011. [doi]

Authors

Florian Markert

This author has not been identified. Look up 'Florian Markert' in Google

Sebastian Oster

This author has not been identified. It may be one of the following persons: Look up 'Sebastian Oster' in Google