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




Journal of the American Ceramic Society, 2013-10, Vol.96 (10), p.3023-3026
2013
Volltextzugriff (PDF)

Mathematical problems in engineering, 2019-01, Vol.2019 (2019), p.1-12
2019
Volltextzugriff (PDF)



Formal Methods for Eternal Networked Software Systems, p.256-296
Volltextzugriff (PDF)

Pacing and clinical electrophysiology, 2000-09, Vol.23 (9), p.1392-1396
2000
Volltextzugriff (PDF)

Open Access
A Tutorial on Uppaal
Formal Methods for the Design of Real-Time Systems, 2004, p.200-236
2004
Volltextzugriff (PDF)

Semantic Web, 2017-01, Vol.8 (2), p.311-352
2017
Volltextzugriff (PDF)


Stochastic Model Checking
Formal Methods for Performance Evaluation, p.220-270
Volltextzugriff (PDF)

Formal Methods for Eternal Networked Software Systems, p.53-113
Volltextzugriff (PDF)

Systems & control letters, 2010-10, Vol.59 (10), p.615-622
2010
Volltextzugriff (PDF)

Journal of nuclear materials, 2010-09, Vol.404 (1), p.68-76
2010
Volltextzugriff (PDF)



International journal of control, 1996-12, Vol.65 (6), p.925-938
1996
Volltextzugriff (PDF)

Formal Methods for Software Architectures, 2003, p.25-43
2003
Volltextzugriff (PDF)

Formal Methods for Computational Systems Biology, p.215-264
Volltextzugriff (PDF)

Transportation Geotechnics, 2015-12, Vol.5, p.20-34
2015
Volltextzugriff (PDF)

International journal of control, 2010-12, Vol.83 (12), p.2641-2657
2010
Volltextzugriff (PDF)

Fuel (Guildford), 1996-04, Vol.75 (5), p.574-578
1996
Volltextzugriff (PDF)
Aktive Filter
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt