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...
International journal for computer assisted radiology and surgery, 2016-06, Vol.11 (6), p.1051-1059
2016
Volltextzugriff (PDF)

Proceedings of the IEEE, 2003-01, Vol.91 (1), p.64-83
2003
Volltextzugriff (PDF)

International journal for computer assisted radiology and surgery, 2009-03, Vol.4 (2), p.203-213
2009
Volltextzugriff (PDF)


International journal of software engineering and knowledge engineering, 2021-03, Vol.31 (3), p.337-380
2021
Volltextzugriff (PDF)

International journal for computer assisted radiology and surgery, 2014-07, Vol.9 (4), p.635-644
2014
Volltextzugriff (PDF)


The ESTEREL language
Proceedings of the IEEE, 1991-09, Vol.79 (9), p.1293-1304
1991
Volltextzugriff (PDF)

IEEE transactions on power systems, 1998-08, Vol.13 (3), p.857-863
1998
Volltextzugriff (PDF)



First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings, 2003, p.227-236
2003
Volltextzugriff (PDF)

The SL synchronous language
IEEE transactions on software engineering, 1996-04, Vol.22 (4), p.256-266
1996
Volltextzugriff (PDF)

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.304-313
2020
Volltextzugriff (PDF)

Lecture notes in computer science, 2003, p.91-108
2003
Volltextzugriff (PDF)

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020, p.114-123
2020
Volltextzugriff (PDF)


Proceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design, 2004, p.39-48
2004
Volltextzugriff (PDF)

Sadhana (Bangalore), 1996-04, Vol.21 (2), p.185-211
1996
Volltextzugriff (PDF)

8th Euromicro Conference on Digital System Design (DSD'05), 2005, p.26-33
2005
Volltextzugriff (PDF)



Science of computer programming, 2000-01, Vol.36 (1), p.5-25
2000
Volltextzugriff (PDF)

2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET), 2019, p.9-16
2019
Volltextzugriff (PDF)

12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), 2007, p.359-364
2007
Volltextzugriff (PDF)
Aktive Filter
ThemaTechnology
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt