Concepedia

B. Gruschko

BG

Statistics

Publications

1

Citations

16

H-Index

1

Active since

2005

Affiliations

Hamburg University of Technology(Current)

B. Gruschko is an author at Hamburg University of Technology specializing in formal verification, software analysis, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignSoftware AnalysisFormal VerificationSystems EngineeringInformation SecuritySoftware EngineeringService-oriented Architecture

Publications per year

2005–2005

1

Publications

1

Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity

Friedrich H. Vogt, S. Zambrovski, B. Gruschko et al. · 2005 · 16 citations

Web Service Specification, Engineering, Information Security +16

1–1 of 1