UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

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

Implementation of Functional Languages: 13th International Workshop, IFL 2001 Stockholm, Sweden, September 24-26, 2001 Selected Papers

1, 2002

Volltextzugriff (PDF)

Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers

2003

Volltextzugriff (PDF)

Termination of term rewriting using dependency pairs

Theoretical computer science, 2000-04, Vol.236 (1), p.133-178

2000

Volltextzugriff (PDF)

Modelling of Autosar Libraries for Large Scale Testing

Electronic Proceedings in Theoretical Computer Science, EPTCS, 2017, Vol.244 (Proc. MARS 2017), p.184-199

2017

Volltextzugriff (PDF)

Implementation of Functional Languages: 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

1, 2003

Volltextzugriff (PDF)

Modular Termination Proofs for Rewriting Using Dependency Pairs

Journal of symbolic computation, 2002-07, Vol.34 (1), p.21-58

2002

Volltextzugriff (PDF)

Testing feature‐rich blockchains

Software, practice & experience, 2023-05, Vol.53 (5), p.1144-1173

2023

Volltextzugriff (PDF)

Locality-Based Test Selection for Autonomous Agents

Testing Software and Systems, 2022, p.73-89

2022

Volltextzugriff (PDF)

Safely Using the AUTOSAR End-to-End Protection Library

Computer Safety, Reliability, and Security, p.74-89

Volltextzugriff (PDF)

Agile Collaborative Research: Action Principles for Industry-Academia Collaboration

IEEE software, 2011-07, Vol.28 (4), p.74-83

2011

Volltextzugriff (PDF)

Implementation of functional languages: 13th international workshop, IFL 2001, Stockholm, Sweden September 24-26, 2001 : selected papers

2014

Volltextzugriff (PDF)

Gaining trust by tracing security protocols

Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100829, Article 100829

2023

Volltextzugriff (PDF)

Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service

2016 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2016, p.135-145

2016

Volltextzugriff (PDF)

Making Implicit Safety Requirements Explicit: An AUTOSAR Safety Case

Computer Safety, Reliability, and Security, p.81-92

Volltextzugriff (PDF)

Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability

SAE International journal of passenger cars. Electronic and electrical systems, 2012-01, Vol.5 (1), p.209-213, Article 2012-01-0503

2012

Volltextzugriff (PDF)

Assessing the effects of introducing a new software development process: a methodological description

International journal on software tools for technology transfer, 2015-02, Vol.17 (1), p.1-16

2015

Volltextzugriff (PDF)

A Classification of Value for Software Architecture Decisions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, Vol.6285, p.368-375

2010

Volltextzugriff (PDF)