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...
Testing feature‐rich blockchains
Software, practice & experience, 2023-05, Vol.53 (5), p.1144-1173
2023
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100829, Article 100829
2023
Volltextzugriff (PDF)

Computer standards and interfaces, 2017-11, Vol.54 (3), p.119-128
2017
Volltextzugriff (PDF)

Executable contracts for Elixir
Journal of logical and algebraic methods in programming, 2025-01, Vol.142, p.101019, Article 101019
2025
Volltextzugriff (PDF)


2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014, p.437-442
2014
Volltextzugriff (PDF)

2015 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015, p.306-308
2015
Volltextzugriff (PDF)


Functional Testing of Java Programs
Trends in Functional Programming, 2016, Vol.9547, p.40-59
2016
Volltextzugriff (PDF)


Executable contracts for Elixir
Proceedings of the 21st ACM SIGPLAN International Workshop on Erlang, 2022, p.40-46
2022
Volltextzugriff (PDF)

Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, 2021, p.41-53
2021
Volltextzugriff (PDF)

Computer Aided Systems Theory - EUROCAST 2009, 2009, p.263-270
2009
Volltextzugriff (PDF)


Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, 2019, p.56-67
2019
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2004-03, Vol.5 (2-3), p.205-220
2004
Volltextzugriff (PDF)

Journal of logical and algebraic methods in programming, 2023-06, Vol.133, p.100874, Article 100874
2023
Volltextzugriff (PDF)

Proceedings of the Institution of Mechanical Engineers. Part O, Journal of risk and reliability, 2018-06, Vol.232 (3), p.227-247
2018
Volltextzugriff (PDF)


2014 IEEE International Conference on Web Services, 2014, p.704-707
2014
Volltextzugriff (PDF)

A unified semantics for future Erlang
Proceedings of the 9th ACM SIGPLAN workshop on ERLANG, 2010, p.23-32
2010
Volltextzugriff (PDF)


Electronic notes in theoretical computer science, 2011-03, Vol.271, p.23-40
2011
Volltextzugriff (PDF)

Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, 2012, p.95-106
2012
Volltextzugriff (PDF)

Pitfalls of Jason Concurrency
Engineering Multi-Agent Systems, 2019, Vol.11375, p.19-33
2019
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt