UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 385

Sortiert nach

P24.01 Turnaround Time and Variant Prevalence of a Blood-based KRAS Test in Patients With NSCLC

Journal of thoracic oncology, 2021-10, Vol.16 (10), p.S1029-S1030

2021

Volltextzugriff (PDF)

Real-world performance of blood-based host immune profiling in first-line immunotherapy treatment in advanced-stage non-small cell lung cancer

Journal of clinical oncology, 2020-05, Vol.38 (15_suppl), p.9545-9545

2020

Volltextzugriff (PDF)

MA16.02 Prospective Clinical Validation of the InVisionFirst™ ctDNA Assay for Molecular Profiling of Patients with Advanced NSCLC

Journal of thoracic oncology, 2018-10, Vol.13 (10), p.S411-S412

2018

Volltextzugriff (PDF)

ABZ 2014: The Landing Gear Case Study : Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings

2014

Volltextzugriff (PDF)

The Landing Gear System Case Study

ABZ 2014: The Landing Gear Case Study, p.1-18

Volltextzugriff (PDF)

Personalized medicine approaches for colon cancer driven by genomics and systems biology: OncoTrack

Biotechnology journal, 2014-09, Vol.9 (9), p.1104-1114

2014

Volltextzugriff (PDF)

Modeling a Landing Gear System in Event-B

ABZ 2014: The Landing Gear Case Study, p.80-94

Volltextzugriff (PDF)

Validation of the ABZ Landing Gear System Using ProB

ABZ 2014: The Landing Gear Case Study, p.66-79

Volltextzugriff (PDF)

Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre

ABZ 2014: The Landing Gear Case Study, p.110-125

Volltextzugriff (PDF)

The Landing Gear Case Study in Hybrid Event-B

ABZ 2014: The Landing Gear Case Study, p.126-141

Volltextzugriff (PDF)

Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

ABZ 2014: The Landing Gear Case Study, p.19-35

Volltextzugriff (PDF)

Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module

ABZ 2014: The Landing Gear Case Study, p.95-109

Volltextzugriff (PDF)

Co-simulation Environment for Rodin: Landing Gear Case Study

ABZ 2014: The Landing Gear Case Study, p.148-153

Volltextzugriff (PDF)

Context-Aware Verification of a Landing Gear System

ABZ 2014: The Landing Gear Case Study, p.52-65

Volltextzugriff (PDF)

Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

ABZ 2014: The Landing Gear Case Study, p.36-51

Volltextzugriff (PDF)

Modeling an Aircraft Landing System in Event-B

ABZ 2014: The Landing Gear Case Study, p.154-159

Volltextzugriff (PDF)

Landing Gear System: An ASM-Based Solution for the ABZ Case Study

ABZ 2014: The Landing Gear Case Study, p.142-147

Volltextzugriff (PDF)

Le Département de la Creuse: Structure sociale et Evolution politique

Revue française de science politique, 1957-01, Vol.7 (1), p.38-66

1957

Volltextzugriff (PDF)