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


ACM transactions on embedded computing systems, 2021-06, Vol.20 (4), p.1-26
2021
Volltextzugriff (PDF)

ACM transactions on embedded computing systems, 2024-09, Vol.23 (5), p.1-28
2024
Volltextzugriff (PDF)





ACM transactions on embedded computing systems, 2017-10, Vol.16 (5s), p.1-25
2017
Volltextzugriff (PDF)



2018 18th International Conference on Application of Concurrency to System Design (ACSD), 2018, p.95-104
2018
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification and Validation. Modeling, p.246-260
Volltextzugriff (PDF)

2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.1281-1284
2019
Volltextzugriff (PDF)

ACM transactions on embedded computing systems, 2018-04, Vol.17 (2), p.1-26
2018
Volltextzugriff (PDF)





Veterinary record, 2017-07, Vol.181 (3), p.71-71
2017
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, p.461-480
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, p.174-192
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, p.135-156
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt