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]
@inproceedings{MarkertO11,
title = {A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems},
author = {Florian Markert and Sebastian Oster},
year = {2011},
url = {http://subs.emis.de/LNI/Proceedings/Proceedings184/article6321.html},
researchr = {https://researchr.org/publication/MarkertO11},
cites = {0},
citedby = {0},
pages = {265-276},
booktitle = {Software Engineering 2011 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25.02.2011, Karlsruhe},
editor = {Ralf Reussner and Alexander Pretschner and Stefan Jähnichen},
volume = {184},
series = {LNI},
publisher = {GI},
isbn = {978-3-88579-278-9},
}