Literatur: Verifikation

Eine schlagwortbasierte Auswahl unserer Fachbücher

<<<  1 
2
>
>>

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Tagungsband)

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

Forschungsergebnisse zur Informatik

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft [...]

Beschreibungssprachen, Codesgin, Elektro-/Informationstechnik, Formale Modellierung, Formale Verifikation, Informatik, Simulation, Systementwurf

Trennlinie

Das Führerschaftsprinzip bei Inspektionsspielen (Dissertation)

Das Führerschaftsprinzip bei Inspektionsspielen

Forschungsergebnisse zur Informatik

Im Mittelpunkt der Arbeit steht die spieltheoretische Modellierung und Analyse des sog. Führerschaftsprinzips, d.h. von Situationen, bei denen eine Person oder Gruppe ihre Handlungen im vorhinein ankündigt.

Entgegen der Intuition, bei strategischen Entscheidungen [...]

Angewandte Mathematik, Datenverifikation, Führerschaftsprinzip, Gleichgewichte, Informatik, Inspektionsspiele, Kontrollen, Selbstbindung, Spieltheorie, Strategien

Trennlinie

Statecharts in CSP (Forschungsarbeit)

Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

Forschungsergebnisse zur Informatik

Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden [...]

CSP, formale Spezifikation, Informatik, Statecharts, Statemate, Systemmodellierung, Übersetzungstechniken, Verifikation

Trennlinie

Intuitionistic Set Theory Part II (Forschungsarbeit)

Intuitionistic Set Theory Part II

Forschungsergebnisse zur Informatik

In part II of his study, the author deals with the following problems:

Trees and Partitions Inaccessible Cardinals Descriptive Set Theory (Theory of a real variable) Auxiliary Notions Borel sets, B-measurable functions, Baire [...]

Informatik, Mathematik, Mengenlehre, Physik, Programmverifikation, Quantentheorie, reelle Zahlen, Set Theory

Trennlinie

Intuitionistic Set Theory Part I (Forschungsarbeit)

Intuitionistic Set Theory Part I

Forschungsergebnisse zur Informatik

In part I of his study, the author deals with the following problems:

Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals) Decidable derivation of the axioms of the Axiomatic [...]

Informatik, Mathematik, Mengenlehre, Physik, Programmverifikation, Quantentheorie, reelle Zahlen, Set Theory

Trennlinie
<<<  1 
2
>
>>

nach oben

Eine Auswahl an Fachbüchern aus dem Verlag Dr. Kovač.