FB 06 - Mathematik/Informatik/Physik

Card

Organization name
FB 06 - Mathematik/Informatik/Physik
Parent OrgUnit
City
Osnabrück
Country
Germany

OrgUnit's Researchers publications
(Veröffentlichung der Organisationseinheit)


Aktive Filter:
Schlagwort:  Automation

1-9 von 9

ErscheinungsdatumTitelAutor(en)
12016A novel approach towards model-driven reliability analysis of Simulink modelsIyenghar, P.; Wessels, S.; Noyer, A.; Pulvermueller, E. ; Westerkamp, C.
22020Automated end-to-end timing analysis of AUTOSAR-based causal event chainsIyenghar, P.; Huning, L.; Pulvermueller, E. 
32022Business Process Modeling in a Virtual 3D WorldJagenow, A.; Speck, A.; Windrich, M.; Öksüz, E.; Pulvermüller, E. 
42020Capturing tracing data life cycles for supporting traceabilityZiegenhagen, D.; Pulvermueller, E. ; Speck, A.
52020Expanding Tracing Capabilities Using Dynamic Tracing DataZiegenhagen, D.; Speck, A.; Pulvermueller, E. 
62014From semantic iot-service descriptions to executable test cases - Information flow of an implemented test frameworkKuemper, D.; Reetz, E.; Fischer, M.; Toenjes, R.; Pulvermueller, E. 
72021Model-Based Timing Analysis of Automotive Use Case Developed in UMLIyenghar, P.; Huning, L.; Pulvermueller, E. 
82015Tool-based checking of business process modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E. 
92009Verification support for generative system developmentSpeck, A.; Pulvermüller, E.