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

Software Engineering and Formal Methods, p.54-68
Volltextzugriff (PDF)


Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, 2013, p.153-158
2013
Volltextzugriff (PDF)

Proceedings of the 7th ACM International Workshop on Context-Oriented Programming, 2015, p.1-6
2015
Volltextzugriff (PDF)

Open Access
Eclipse Golo
Journal of open source software, 2016-12, Vol.1 (8), p.93
2016
Volltextzugriff (PDF)

2020 7th International Conference on Internet of Things: Systems, Management and Security (IOTSMS), 2020, p.1-7
2020
Volltextzugriff (PDF)


Software quality journal, 2013-03, Vol.21 (1), p.127-158
2013
Volltextzugriff (PDF)

2022 IEEE 47th Conference on Local Computer Networks (LCN), 2022, p.287-290
2022
Volltextzugriff (PDF)


Proceedings of the 2018 International Conference on Intelligent Information Technology, 2018, p.50-53
2018
Volltextzugriff (PDF)


B 2007: Formal Specification and Development in B, 2006, p.216-231
2006
Volltextzugriff (PDF)


2016 13th International Conference on New Technologies for Distributed Systems (NOTERE), 2016, p.1-6
2016
Volltextzugriff (PDF)

International journal on advances in security, 2013-06, Vol.6 (1&2), p.49-61
2013
Volltextzugriff (PDF)