Author:
Bauer Andreas,Broy Manfred,Romberg Jan,Schätz Bernhard,Braun Peter,Freund Ulrich,Mata Nuria,Sandner Robert,Ziegenbein Dirk
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AutoToolVCC: Variable consistency check tool for automotive software projects;Software: Practice and Experience;2020-11-06
2. Programming Is Modeling;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
3. Elektrik/Elektronik/Software;Vieweg Handbuch Kraftfahrzeugtechnik;2016
4. Generating Distributed Code from Cola Models;Lecture Notes in Electrical Engineering;2009
5. Optimizing Automatic Deployment Using Non-functional Requirement Annotations;Communications in Computer and Information Science;2008