PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Walter, Benedikt"

Author of the publication

copydeleteadd this publication to your clipboard
Formal knowledge representations for textual automotive system requirements and tests

. Universität Stuttgart, Stuttgart, Dissertation, (2021)
DOI: 10.18419/opus-11362

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Walter Ganz University of Stuttgart

Prof. Dr. -Ing. Walter Schönwandt University of Stuttgart

J Walter

Walter König University of Stuttgart

Benedikt Kolb University of Stuttgart

 

Other publications of authors with the same name

From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages., , and . MODELSWARD, page 201-208. SciTePress, (2019)Towards Open Production: Designing a marketplace for 3D-printing capacities., , and . ICIS, Association for Information Systems, (2019)A Formalization Method to Process Structured Natural Language to Logic Expressions to Detect Redundant Specification and Test Statements., , , and . RE, page 263-272. IEEE Computer Society, (2017)Formal knowledge representations for textual automotive system requirements and tests. Universität Stuttgart, Stuttgart, Dissertation, (2021)Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages., , and . CSDM, page 239. Springer, (2018)Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages, , and . Complex Systems Design & Management, page 239. Cham, Springer, (2019)Improving Test Execution Efficiency Through Clustering and Reordering of Independent Test Steps, , , and . 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), page 363-373. IEEE, (2018)Executable State Machines Derived from Structured Textual Requirements - Connecting Requirements and Formal System Design., , , , and . MODELSWARD, page 193-200. SciTePress, (2019)Success Factors of Communities for User Driven Content: the Case of Ciao.com., , , and . AMCIS, page 525. Association for Information Systems, (2006)Can filesharers be triggered by economic incentives? Results of an experiment., , and . New Media & Society, 10 (3): 433-453 (2008)