Bernhard Steffen

· 39 obras en el catálogo

Obras — página 2

KKarten Von Mykenai

Karten Von Mykenai

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Practice

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

GGrundlagen der Höheren Informatik

Grundlagen der Höheren Informatik

BBridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

AAbstrakte Interpretationen beim Optimieren von Programmlaufz

Abstrakte Interpretationen beim Optimieren von Programmlaufzeiten

LLeveraging Applications of Formal Methods, Verification and

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium

RReal Time and Such

Real Time and Such

CCombined Power of Research, Education, and Dissemination

Combined Power of Research, Education, and Dissemination

EEine Methode zur Behandlung von potentialtheoretischen Probl

Eine Methode zur Behandlung von potentialtheoretischen Problemen mit freiem Rand mit Hilfe der nichtlinearen Optimierung

CCharacteristic Formulae for CCS with Divergence

Characteristic Formulae for CCS with Divergence

FFinite constants

Finite constants

OOptimal Data Flow Analysis via Obserrational Equivalence

Optimal Data Flow Analysis via Obserrational Equivalence

Tools and Algorithms for the Construction and Analysis of Systems