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

Some General Results About Proof Normalization

Logica universalis, 2010-03, Vol.4 (1), p.1-29

2010

Volltextzugriff (PDF)

Rationale of a loading dose initiation for hydroxychloroquine treatment in COVID-19 infection in the DisCoVeRy trial

Journal of antimicrobial chemotherapy, 2020-09, Vol.75 (9), p.2376-2380

2020

Volltextzugriff (PDF)

Protocol for the DisCoVeRy trial: multicentre, adaptive, randomised trial of the safety and efficacy of treatments for COVID-19 in hospitalised adults

BMJ open, 2020-09, Vol.10 (9), p.e041437

Ader, Florence

2020

Volltextzugriff (PDF)

Model-based testing for concurrent systems: unfolding-based test selection

International journal on software tools for technology transfer, 2016-06, Vol.18 (3), p.305-318

2016

Volltextzugriff (PDF)

Exhaustive test sets for algebraic specification correctness

Software testing, verification & reliability, 2016-06, Vol.26 (4), p.294-317

2016

Volltextzugriff (PDF)

Rationale of a loading dose initiation for hydroxychloroquine treatment in COVID-19 infection in the DisCoVeRy trial-authors' response

Journal of antimicrobial chemotherapy, 2021-01, Vol.76 (1), p.277-279

2021

Volltextzugriff (PDF)

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Verification and Evaluation of Computer and Communication Systems, p.114-129

Volltextzugriff (PDF)

Formal Verification of an Industrial Distributed Algorithm: An Experience Report

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, p.525-542

Volltextzugriff (PDF)

Exhaustive test sets for algebraic specifications

Software testing, verification & reliability, 2016-06, Vol.26 (4), p.294-317

2016

Volltextzugriff (PDF)

Compositional schedulability analysis of real-time actor-based systems

Acta informatica, 2017-06, Vol.54 (4), p.343-378

2017

Volltextzugriff (PDF)

Proof-Guided Test Selection from First-Order Specifications with Equality

Journal of automated reasoning, 2010-12, Vol.45 (4), p.437-473

2010

Volltextzugriff (PDF)

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

Theoretical Aspects of Computing – ICTAC 2014, 2014, p.369-387

2014

Volltextzugriff (PDF)

Model-based testing for concurrent systems with labelled event structures

Software testing, verification & reliability, 2014-11, Vol.24 (7), p.558-590

2014

Volltextzugriff (PDF)

Integration Testing from Structured First-Order Specifications via Deduction Modulo

Theoretical Aspects of Computing - ICTAC 2009, p.261-276

Volltextzugriff (PDF)

Conformance Relations for Labeled Event Structures

Tests and Proofs, p.83-98

Volltextzugriff (PDF)

A Specification-Based Test Case Generation Method for UML/OCL

Models in Software Engineering, p.334-348

Volltextzugriff (PDF)

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023, p.1706-1715

2023

Volltextzugriff (PDF)

Global and local testing from Message Sequence Charts

Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, p.1332-1338

Longuet, Delphine

2012

Volltextzugriff (PDF)

Unfolding-Based Test Selection for Concurrent Conformance

Testing Software and Systems, p.98-113

Volltextzugriff (PDF)

Specification-Based Testing for CoCasl’s Modal Specifications

Algebra and Coalgebra in Computer Science, p.356-371

Volltextzugriff (PDF)

Test selection criteria for quantifier-free first-order specifications

Proceedings of the 2007 international conference on Fundamentals of software engineering, 2007, p.144-159

2007

Volltextzugriff (PDF)

Test Selection Criteria for Quantifier-Free First-Order Specifications

International Symposium on Fundamentals of Software Engineering, p.144-159

Volltextzugriff (PDF)

A temporal logic for input output symbolic transition systems

12th Asia-Pacific Software Engineering Conference (APSEC'05), 2005, p.8 pp.

2005

Volltextzugriff (PDF)

An Abstract Way to Define Rewriting Logic

Electronic notes in theoretical computer science, 2006-05, Vol.159, p.205-226

2006

Volltextzugriff (PDF)

A specification-based test case generation method for UML/OCL

Proceedings of the 2010 international conference on Models in software engineering, 2010, p.334-348

2010

Volltextzugriff (PDF)

1 – 25 von 30

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(23)
Mit Volltextzugriff
(30)

Publikationsform

Sprache

Englisch
(30)

Erscheinungsjahr

n.n

Thema

Science & Technology
(22)
Computer Science
(19)
Technology
(15)
Software Engineering
(8)
Computer Science, Software Engineering
(7)
Computer Science, Theory & Methods
(7)
Life Sciences & Biomedicine
(6)
Specification-Based Testing
(6)
Humans
(5)
Logic In Computer Science
(4)
Conformance Testing
(3)
Covid-19
(3)
Formal Languages And Automata Theory
(3)
Infectious Diseases
(3)
Life Sciences
(3)
Logic
(3)
Pandemics
(3)
Sars-Cov-2
(3)
Selection Criteria
(3)
Specifications
(3)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Some General Results About Proof Normalization

Rationale of a loading dose initiation for hydroxychloroquine treatment in COVID-19 infection in the DisCoVeRy trial

Protocol for the DisCoVeRy trial: multicentre, adaptive, randomised trial of the safety and efficacy of treatments for COVID-19 in hospitalised adults

Model-based testing for concurrent systems: unfolding-based test selection

Exhaustive test sets for algebraic specification correctness

Rationale of a loading dose initiation for hydroxychloroquine treatment in COVID-19 infection in the DisCoVeRy trial-authors' response

How to Be Sure a Faulty System Does Not Always Appear Healthy?

Formal Verification of an Industrial Distributed Algorithm: An Experience Report

Exhaustive test sets for algebraic specifications

Compositional schedulability analysis of real-time actor-based systems

Proof-Guided Test Selection from First-Order Specifications with Equality

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

Model-based testing for concurrent systems with labelled event structures

Integration Testing from Structured First-Order Specifications via Deduction Modulo

Conformance Relations for Labeled Event Structures

A Specification-Based Test Case Generation Method for UML/OCL

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee

Global and local testing from Message Sequence Charts

Unfolding-Based Test Selection for Concurrent Conformance

Specification-Based Testing for CoCasl’s Modal Specifications

Test selection criteria for quantifier-free first-order specifications

Test Selection Criteria for Quantifier-Free First-Order Specifications

A temporal logic for input output symbolic transition systems

An Abstract Way to Define Rewriting Logic

A specification-based test case generation method for UML/OCL

Suchergebnisse filtern