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...
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2005, p.49-69
2005
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.15-29
2004
Link zum Volltext


Formal Methods and Software Engineering, 2004, p.115-130
2004
Link zum Volltext


Formal Methods and Software Engineering, 2004, p.357-372
2004
Link zum Volltext


Formal Methods and Software Engineering, 2004, p.224-238
2004
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.194-208
2004
Link zum Volltext




Formal Methods and Software Engineering, 2004, p.76-98
2004
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.290-305
2004
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.46-60
2004
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.30-45
2004
Link zum Volltext


An Equational Calculus for Alloy
Formal Methods and Software Engineering, 2004, p.162-175
2004
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.306-319
2004
Link zum Volltext



Formal Methods and Software Engineering, 2004, p.209-223
2004
Link zum Volltext

Formal Methods and Software Engineering, 2004, p.259-273
2004
Link zum Volltext

2010 35th IEEE Photovoltaic Specialists Conference, 2010, p.002208-002212
2010

2011 37th IEEE Photovoltaic Specialists Conference, 2011, p.002910-002912
2011
Aktive Filter
PublikationsformTagungsberichte