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...
IEEE transactions on software engineering, 2013-05, Vol.39 (5), p.658-683
2013
Volltextzugriff (PDF)


2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.31-40
2008
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2011-05, Vol.37 (3), p.387-409
2011
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.429-440
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.574-584
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.201-211
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.295-306
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.476-481
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.248-259
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.260-270
2015
Volltextzugriff (PDF)

2007 Australian Software Engineering Conference (ASWEC'07), 2007, p.211-222
2007
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.749-459
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.342-352
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.452-463
2015
Volltextzugriff (PDF)

General LTL specification mining
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.81-92
2015
Volltextzugriff (PDF)


2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.760-770
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.771-776
2015
Volltextzugriff (PDF)

2008 11th IEEE High Assurance Systems Engineering Symposium, 2008, p.283-292
2008
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.307-318
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.585-596
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.12-23
2015
Volltextzugriff (PDF)

2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015, p.658-668
2015
Volltextzugriff (PDF)