TU Darmstadt / ULB / TUbiblio

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

Markert, Florian and Oster, Sebastian :
A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems.
In: Workshop Proceedings der Software Engineering Konferenz 2011. In: GI Workshop .
[Conference or Workshop Item] , (2011)

Item Type: Conference or Workshop Item
Erschienen: 2011
Creators: Markert, Florian and Oster, Sebastian
Title: A Formal Method to Identify Deficiencies of Functional Requirements for Product Lines of Embedded Systems
Language: English
Series Name: GI Workshop
Divisions: 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering
Event Title: Workshop Proceedings der Software Engineering Konferenz 2011
Date Deposited: 05 Jun 2015 10:08
Export:

Optionen (nur für Redakteure)

View Item View Item