FB 06 - Mathematik/Informatik/Physik
Organization name
FB 06 - Mathematik/Informatik/Physik
Parent OrgUnit
City
Osnabrück
Country
Germany
OrgUnit's Researchers publications
(Veröffentlichung der Organisationseinheit)
141-147 von 147
Erscheinungsdatum | Titel | Autor(en) | |
---|---|---|---|
141 | 2019 | UML specification and transformation of safety features for memory protection | Huning, L.; Iyenghar, P.; Pulvermüller, E. |
142 | 2019 | Using developer-tool-interactions to expand tracing capabilities | Ziegenhagen, D.; Speck, A.; Pulvermüller, E. |
143 | 2018 | Valid.IoT - A framework for sensor data quality analysis and interpolation | Kuemper, D.; Iggena, T.; Toenjes, R.; Pulvermueller, E. |
144 | 2011 | Verification of e-Commerce Business Processes | Feja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H. |
145 | 2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
146 | 2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
147 | 2015 | Visualization of checking results for graphical validation rules | Witt, S.; Feja, S.; Hadler, C.; Speck, A.; Pulvermüller, E. |