Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.12-23
2018

International journal on software tools for technology transfer, 2019-06, Vol.21 (3), p.249-265
2019
Link zum Volltext

Automated Technology for Verification and Analysis, p.463-478
Link zum Volltext

2018

2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), 2016, p.453-457
2016
Link zum Volltext

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017, p.162-171
2017
Link zum Volltext

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018, p.888-891
2018
Link zum Volltext

2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018, p.161-171
2018
Link zum Volltext








Applied numerical mathematics, 2018-05, Vol.127, p.1-17
2018
Link zum Volltext


Journal of Building Engineering, 2024-04, Vol.82, p.108278, Article 108278
2024
Link zum Volltext


Computers & mathematics with applications (1987), 2018-06, Vol.75 (12), p.4256-4271
2018
Link zum Volltext





Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n