Sciweavers

21490 search results - page 554 / 4298
» Business Process Modeling
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
15 years 11 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner
113
Voted
ICEIS
2008
IEEE
15 years 11 months ago
Model-Driven Generation and Optimization of Complex Integration Processes
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...