Browsing by Department Institut für Informatik
Showing results 91 to 95 of 95
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 2018 | Valid.IoT - A framework for sensor data quality analysis and interpolation | Kuemper, D.; Iggena, T.; Toenjes, R.; Pulvermueller, E. |
| 2011 | Verification of e-Commerce Business Processes | Feja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H. |
| 2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
| 2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
| 2015 | Visualization of checking results for graphical validation rules | Witt, S.; Feja, S.; Hadler, C.; Speck, A.; Pulvermüller, E. |