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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE), 2016, p.86-93
2016
Volltextzugriff (PDF)

2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER), 2020, p.97-100
2020
Volltextzugriff (PDF)

2019 IEEE International Conference On Artificial Intelligence Testing (AITest), 2019, p.63-70
2019
Volltextzugriff (PDF)





NASA Formal Methods, 2016, p.100-106
2016
Volltextzugriff (PDF)

NASA Formal Methods, 2016, p.166-171
2016
Volltextzugriff (PDF)

IEEE transactions on software engineering, 2017-06, Vol.43 (6), p.531-555
2017
Volltextzugriff (PDF)

2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.1190-1192
2021
Volltextzugriff (PDF)

2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE), 2021, p.309-320
2021
Volltextzugriff (PDF)



NASA Formal Methods, 2016, p.272-287
2016
Volltextzugriff (PDF)


Compositional Runtime Enforcement
NASA Formal Methods, 2016, p.82-99
2016
Volltextzugriff (PDF)


NASA Formal Methods, 2016, p.150-165
2016
Volltextzugriff (PDF)





2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2020, p.250-261
2020
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Sprache
Erscheinungsjahr
n.n
n.n