PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Müller, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Analysis and Inclusion of Synergies of Common Quality Management Methods for Optimised Quality Assurance

, , and . ESREL 2004 Conference, page 3497-3502. (2004)80.

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.

Christoph Müller

Elke Müller University of Stuttgart

Florian Müller University of Stuttgart

Thomas Müller

Armin Müller University of Stuttgart

 

Other publications of authors with the same name

Designing a Crossbar Scheduler for HPC Applications., , , , , , , , , and 1 other author(s). IEEE Micro, 26 (3): 58-71 (2006)Proof-Transforming Compilation of Eiffel Programs., , and . TOOLS (46), volume 11 of Lecture Notes in Business Information Processing, page 316-335. Springer, (2008)A Sound and Complete Program Logic for Eiffel., , , and . TOOLS (47), volume 33 of Lecture Notes in Business Information Processing, page 195-214. Springer, (2009)Information Hiding and Visibility in Interface Specifications., and . ICSE, page 385-395. IEEE Computer Society, (2007)Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)., , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 463-479. Springer, (2016)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Data and knowlage based experimental design for bioprocess optimization., , , , and . German Conference on Bioinformatics, page 199-200. (1999)Reasoning about Function Objects., , , , and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 79-96. Springer, (2010)A Bayesian graphical model for integrative analysis of TCGA data., , , , , and . GENSiPS, page 135-138. IEEE, (2012)Formal Specification Techniques for Object-Oriented Programs., and . GI Jahrestagung, page 602-611. Springer, (1997)