PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Braun, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Consistent Integration of Formal Methods.

, , , and . TACAS, volume 1785 of Lecture Notes in Computer Science, page 48-62. Springer, (2000)

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.

Elke Peter University of Stuttgart

Univ. -Prof. Dr. Rene Peters University of Stuttgart

Univ. -Prof. Dr. Manuel Braun University of Stuttgart

Bernd Peters University of Stuttgart

Alexander Peter University of Stuttgart

 

Other publications of authors with the same name

Visualization of Message Passing Parallel Programs with the TOPSYS Parallel Programming Environment., and . J. Parallel Distrib. Comput., 18 (2): 118-128 (1993)Überprüfen der Architekturkonformanz von AUTOSAR-Softwarekomponenten durch Code-Analyse., , and . MBEES, page 13-19. fortiss GmbH, München, (2013)A Framework for Automated Negotiation of Service Level Agreements in Services Grids., , , and . Business Process Management Workshops, 3812, page 89-101. (2005)A Linux Based Software Router Supporting QoS, Policy Based Control and Mobility., , , and . ISCC, page 101-107. IEEE Computer Society, (2003)Deploying Mobile and Intelligent Agents in interconnected E-Marketplaces., , , , , and . Transactions of the SDPS, 7 (3): 109-123 (2003)Model-Based Safety-Cases for Software-Intensive Systems., , , and . CoRR, (2018)Verification of Hypermedia Characteristic of RESTful Finite-State Machines., , and . WWW (Companion Volume), page 1881-1886. ACM, (2018)MobiSoft: An Agent-Based Middleware for Social-Mobile Applications., , and . OTM Workshops (1), volume 4277 of Lecture Notes in Computer Science, page 984-993. Springer, (2006)Towards Adaptive Migration Strategies for Mobile Agents., and . WRAC, volume 3825 of Lecture Notes in Computer Science, page 334-345. Springer, (2005)Automation of Integration Testing of RESTful Hypermedia Systems: A Model-driven Approach., , and . WEBIST, page 404-411. SciTePress, (2018)