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...




International journal on software tools for technology transfer, 2017-04, Vol.19 (2), p.247-269
2017
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.379-401
2024
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2024-06, Vol.26 (3), p.301-326
2024
Volltextzugriff (PDF)


Lecture notes in computer science, 1999, p.146-162
1999
Volltextzugriff (PDF)

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

Innovations in systems and software engineering, 2011-06, Vol.7 (2), p.97-107
2011
Volltextzugriff (PDF)


Abstract State Machines 2003, 2003, p.1-21
2003
Volltextzugriff (PDF)


Abstract State Machines 2003, 2003, p.108-125
2003
Volltextzugriff (PDF)

UML and Concurrency
Abstract State Machines 2003, 2003, p.151-166
2003
Volltextzugriff (PDF)



2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010, p.37-45
2010
Volltextzugriff (PDF)


Abstract State Machines - Theory and Applications, 2000, p.303-322
2000
Volltextzugriff (PDF)



Foundations of Software Engineering: Proceedings of the 6th European conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering : Zurich, Switzerland; 22-25 Sept. 1997, 1997, p.211-226
1997
Volltextzugriff (PDF)

2008 The Third International Conference on Software Engineering Advances, 2008, p.373-378
2008
Volltextzugriff (PDF)