1
Publications
56
Citations
1
H-Index
2007
Active since
Affiliations
Philipps University of Marburg(Current)
Sergej Herdt is an author at Philipps University of Marburg specializing in computer engineering, formal verification, and process control.
Top concepts
EngineeringData ModelingFormal MethodsProcess ControlSoftware DesignSystem SoftwareComputer ScienceFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2007–2007
1
1
Grid Workflow Modelling Using Grid-Specific BPEL Extensions
Tim Dörnemann, Thomas Friese, Sergej Herdt et al. · Max Planck Institute for Plasma Physics · 2007 · 56 citations · Full text
Rows per page
1–1 of 1