PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schäfer, Wilhelm"

Author of the publication

copydeleteadd this publication to your clipboard
Automata-based refinement checking for real-time systems.

, , , and . Comput. Sci. Res. Dev., 30 (3-4): 255-283 (2015)

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.

Prof. Dr. Henry Schäfer University of Stuttgart

Melanie Schäfer University of Stuttgart

Adrian Schäfer University of Stuttgart

Jenny Schäfer University of Stuttgart

Felix Schäfer University of Stuttgart

 

Other publications of authors with the same name

A Knowledge-Based Software Development Environment Supporting Cooperative Work., , and . International Journal of Software Engineering and Knowledge Engineering, 2 (1): 79-106 (1992)An experiment in building a lightweight process-centred environment supporting team software processes., , and . Software Process: Improvement and Practice, 3 (3): 141-153 (1997)Editorial., , and . Software Process: Improvement and Practice, 7 (1): 1 (2002)Reverse Engineering vernetzter automotiver Softwaresysteme., , , and . MBEES, page 77-86. fortiss GmbH, München, (2010)Service Matching under Consideration of Explicitly Specified Service Variants., , , , and . ICWS, page 613-614. IEEE Computer Society, (2013)A comparison of modeling approaches for planning in Cyber Physical Production Systems., , and . ETFA, page 1-8. IEEE, (2014)The Challenges of Building Advanced Mechatronic Systems., and . FOSE, page 72-84. IEEE Computer Society, (2007)Model-Driven Development of Safe Self-optimizing Mechatronic Systems with MechatronicUML., and . Assurances for Self-Adaptive Systems, volume 7740 of Lecture Notes in Computer Science, Springer, (2013)Domain-Specific Model Checking for Cyber-Physical Systems., , , and . MoDeVVa@MoDELS, volume 1514 of CEUR Workshop Proceedings, page 18-27. CEUR-WS.org, (2015)Product-line development requires sophisticated software configuration management.. ISPW, page 15-. IEEE Computer Society, (1996)