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...
IEICE Transactions on Information and Systems, 2023/09/01, Vol.E106.D(9), pp.1507-1518
2023
Volltextzugriff (PDF)

Mobile networks and applications, 2021-12, Vol.26 (6), p.2258-2271
2021
Volltextzugriff (PDF)

The Journal of systems and software, 2020-07, Vol.165, p.110559, Article 110559
2020
Volltextzugriff (PDF)

Formal aspects of computing, 2021-03, Vol.33 (2), p.207-249
2021
Volltextzugriff (PDF)

IEICE Transactions on Information and Systems, 2021/12/01, Vol.E104.D(12), pp.2154-2163
2021
Volltextzugriff (PDF)

Mobile networks and applications, 2020-06, Vol.25 (3), p.1162-1173
2020
Volltextzugriff (PDF)

Mobile networks and applications, 2020-06, Vol.25 (3), p.1125-1139
2020
Volltextzugriff (PDF)


Formal aspects of computing, 2020-07, Vol.32 (2-3), p.275-314
2020
Volltextzugriff (PDF)

Mobile networks and applications, 2019-02, Vol.24 (1), p.134-144
2019
Volltextzugriff (PDF)

Mobile networks and applications, 2019-02, Vol.24 (1), p.100-114
2019
Volltextzugriff (PDF)

Mobile networks and applications, 2017-04, Vol.22 (2), p.318-331
2017
Volltextzugriff (PDF)

2015 IEEE 16th International Symposium on High Assurance Systems Engineering, 2015, p.223-231
2015
Volltextzugriff (PDF)

A process calculus SMrCaIT for IoT
Journal of software : evolution and process, 2024-05, Vol.36 (5), p.n/a
2024
Volltextzugriff (PDF)

Formal Methods and Software Engineering, p.143-159
Volltextzugriff (PDF)

Journal of systems architecture, 2022-04, Vol.125, p.102438, Article 102438
2022
Volltextzugriff (PDF)

Journal of software : evolution and process, 2021-09, Vol.33 (9), p.n/a
2021
Volltextzugriff (PDF)

Future generation computer systems, 2016-03, Vol.56, p.153-168
2016
Volltextzugriff (PDF)

Logic, Computation and Rigorous Methods, 2021, Vol.12750, p.29-62
2021
Volltextzugriff (PDF)


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

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

Science of computer programming, 2018-03, Vol.154, p.134-153
2018
Volltextzugriff (PDF)

2015 IEEE 16th International Symposium on High Assurance Systems Engineering, 2015, p.1-9
2015
Volltextzugriff (PDF)

Mobile networks and applications, 2024-09
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n