UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 438

Sortiert nach

Diagnosis and surgical treatment of tumors of the pancreatic left anatomic segment

Klinična hìrurgìâ (Kiïv), 2014-07 (7), p.67

Tkachuk, O S

2014

Volltextzugriff (PDF)

ANALYSIS OF COMPLICATIONS POSTOPERATIVE CAUSES AND MORTALITY AFTER RADICAL TREATMENT FOR TUMORS OF THE LEFT ANATOMICAL SEGMENT OF THE PANCREAS

Klinična hìrurgìâ (Kiïv), 2015-07 (7), p.5

2015

Volltextzugriff (PDF)

Pancreatic resection using laparoscopic access

Klinična hìrurgìâ (Kiïv), 2013-11 (11), p.5

2013

Volltextzugriff (PDF)

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems

NASA Formal Methods, p.227-233

Volltextzugriff (PDF)

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft

NASA Formal Methods, p.221-226

Volltextzugriff (PDF)

ARSENAL: Automatic Requirements Specification Extraction from Natural Language

NASA Formal Methods, p.41-46

Volltextzugriff (PDF)

From Design Contracts to Component Requirements Verification

NASA Formal Methods, p.373-387

Volltextzugriff (PDF)

Improving an Industrial Test Generation Tool Using SMT Solver

NASA Formal Methods, p.100-106

Volltextzugriff (PDF)

EventB2Java: A Code Generator for Event-B

NASA Formal Methods, p.166-171

Volltextzugriff (PDF)

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error

NASA Formal Methods, p.65-81

Volltextzugriff (PDF)

Compositional Runtime Enforcement

NASA Formal Methods, p.82-99

Volltextzugriff (PDF)

FEATURES OF CREATININ CLEARANCE CHANGE IN ISCHEMIC HEART DISEASE COMPLIED BY OBESITY

Visnyk problem biolohiï i medyt︠s︡yny, 2019, Vol.3 (152), p.143

2019

Volltextzugriff (PDF)

Gray-Box Learning of Serial Compositions of Mealy Machines

NASA Formal Methods, p.272-287

Volltextzugriff (PDF)

Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

NASA Formal Methods, p.307-321

Volltextzugriff (PDF)

Probabilistic Formal Verification of the SATS Concept of Operation

NASA Formal Methods, p.191-205

Volltextzugriff (PDF)

Code Generation Using a Formal Model of Reference Counting

NASA Formal Methods, p.150-165

Volltextzugriff (PDF)

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control

NASA Formal Methods, p.388-394

Volltextzugriff (PDF)

On Implementing Real-Time Specification Patterns Using Observers

NASA Formal Methods, p.19-33

Volltextzugriff (PDF)

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

NASA Formal Methods, p.237-254

Volltextzugriff (PDF)

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

NASA Formal Methods, p.175-190

Volltextzugriff (PDF)

The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests

NASA Formal Methods, p.107-113

Volltextzugriff (PDF)

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application

NASA Formal Methods, p.206-220

Volltextzugriff (PDF)

Semantics for Locking Specifications

NASA Formal Methods, p.355-372

Volltextzugriff (PDF)

Hierarchical Verification of Quantum Circuits

NASA Formal Methods, p.344-352

Volltextzugriff (PDF)

A Proof Infrastructure for Binary Programs

NASA Formal Methods, p.337-343

Volltextzugriff (PDF)

1 – 25 von 438

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(360)
Mit Volltextzugriff
(361)

Publikationsform

Sprache

2 weitere anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(193)
Technology
(96)
Humans
(64)
Materials Science
(63)
Physical Sciences
(63)
Life Sciences & Biomedicine
(61)
Materials Science, Multidisciplinary
(49)
Animals
(48)
Male
(43)
Chemistry And Materials Science
(39)
Physics
(39)
Computer Science
(32)
Computer Science, Software Engineering
(31)
Chemistry
(29)
Female
(29)
Computer Science, Theory & Methods
(28)
Characterization And Evaluation Of Materials
(22)
Exact Sciences And Technology
(22)
Rats
(20)
Metallurgy & Metallurgical Engineering
(19)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

Menü

Weitere Dienste

Einstellungen

Diagnosis and surgical treatment of tumors of the pancreatic left anatomic segment

ANALYSIS OF COMPLICATIONS POSTOPERATIVE CAUSES AND MORTALITY AFTER RADICAL TREATMENT FOR TUMORS OF THE LEFT ANATOMICAL SEGMENT OF THE PANCREAS

Pancreatic resection using laparoscopic access

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems

Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft

ARSENAL: Automatic Requirements Specification Extraction from Natural Language

From Design Contracts to Component Requirements Verification

Improving an Industrial Test Generation Tool Using SMT Solver

EventB2Java: A Code Generator for Event-B

Synthesizing Runtime Enforcer of Safety Properties Under Burst Error

Compositional Runtime Enforcement

FEATURES OF CREATININ CLEARANCE CHANGE IN ISCHEMIC HEART DISEASE COMPLIED BY OBESITY

Gray-Box Learning of Serial Compositions of Mealy Machines

Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

Probabilistic Formal Verification of the SATS Concept of Operation

Code Generation Using a Formal Model of Reference Counting

A Hybrid Architecture for Correct-by-Construction Hybrid Planning and Control

On Implementing Real-Time Specification Patterns Using Observers

Verifying Relative Safety, Accuracy, and Termination for Program Approximations

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application

Semantics for Locking Specifications

Hierarchical Verification of Quantum Circuits

A Proof Infrastructure for Binary Programs

Suchergebnisse filtern