Auflistung: nach Organisationseinheit Institut für Informatik


Oder wählen Sie unten einen Buchstaben aus, um mit der Suche zu beginnen
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
89 bis 95 von 95 Treffer < zurück 
ErscheinungsdatumTitelAutor(en)
2019UML specification and transformation of safety features for memory protectionHuning, L.; Iyenghar, P.; Pulvermüller, E. 
2019Using developer-tool-interactions to expand tracing capabilitiesZiegenhagen, D.; Speck, A.; Pulvermüller, E. 
2018Valid.IoT - A framework for sensor data quality analysis and interpolationKuemper, D.; Iggena, T.; Toenjes, R.; Pulvermueller, E. 
2011Verification of e-Commerce Business ProcessesFeja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H.
2009Verification support for generative system developmentSpeck, A.; Pulvermüller, E. 
2009Verification support for generative system developmentSpeck, A.; Pulvermüller, E. 
2015Visualization of checking results for graphical validation rulesWitt, S.; Feja, S.; Hadler, C.; Speck, A.; Pulvermüller, E. 
89 bis 95 von 95 Treffer < zurück