Stephan Haarmann

Stephan Haarmann

Research Assistant, Hasso Plattner Institute University of Potsdam
在 student.hpi.uni-potsdam.de 的电子邮件经过验证
被引用次数：227
Business Process Management Blockchain Model Driven Verification
Mathias Pfeiffer

Mathias Pfeiffer

Research Associate, RWTH Aachen University
在 se-rwth.de 的电子邮件经过验证
被引用次数：42
Formal Verification Model-Driven Verification Modeling Languages