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









Chest, 2024-10, Vol.166 (4), p.A4929-A4929
2024
Volltextzugriff (PDF)

Chest, 2024-10, Vol.166 (4), p.A4930-A4930
2024
Volltextzugriff (PDF)

From Reactive Systems to Cyber-Physical Systems, p.126-145
Volltextzugriff (PDF)



Leveraging Applications of Formal Methods, Verification, and Validation, p.143-155
Volltextzugriff (PDF)

International journal on software tools for technology transfer, 2021-12, Vol.23 (6), p.917-930
2021
Volltextzugriff (PDF)

Acta informatica, 2020-10, Vol.57 (3-5), p.671-687
2020
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, p.212-226
Volltextzugriff (PDF)

2017 17th International Conference on Application of Concurrency to System Design (ACSD), 2017, p.1-8
2017
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation. Verification, p.235-257
Volltextzugriff (PDF)

Open Access
A CASE OF CHEST WALL BLASTOMYCOSIS
Chest, 2023-10, Vol.164 (4), p.A1409-A1410
2023
Volltextzugriff (PDF)


Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, p.242-263
Volltextzugriff (PDF)

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, p.787-803
Volltextzugriff (PDF)

RERS 2018: CTL, LTL, and Reachability
Leveraging Applications of Formal Methods, Verification and Validation. Verification, p.433-447
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt