Sciweavers

19936 search results - page 269 / 3988
» Inductive process modeling
Sort
View
TAP
2009
Springer
117views Hardware» more  TAP 2009»
16 years 1 months ago
Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process
Paula Herber, Florian Friedemann, Sabine Glesner
ICEIS
2008
IEEE
16 years 1 months ago
Model-Driven Generation and Optimization of Complex Integration Processes
Matthias Böhm, Uwe Wloka, Dirk Habich, Wolfga...